X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=.gitignore;h=dcf5b7ace81558da688c92d42a2c9e25bd04f596;hb=d3356e11d92f09a2bcb9ba145594cf4b0531328f;hp=d901824409cf23f2b2d1e1e919900ae81a4464ed;hpb=9a22a94c4202a63947e7bcf47c41fde75157c9cd;p=goals.git

diff --git a/.gitignore b/.gitignore
index d901824..dcf5b7a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,8 +4,15 @@
 *.cmx
 *.cma
 *.cmxa
+*.log
 *.o
 
+/*.tar.gz
+/local*
+
+/man/*.?
+/man/*.?.txt
+
 .depend
 Goalfile
 Makefile
@@ -17,6 +24,8 @@ Makefile
 /config.h.in
 /config.log
 /config.status
+/goals.spec
+/goals-*.src.rpm
 /install-sh
 /run
 /src/config.ml