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

diff --git a/.gitignore b/.gitignore
index d901824..02815a7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,8 +4,13 @@
 *.cmx
 *.cma
 *.cmxa
+*.log
 *.o
 
+/local*
+
+/man/*.?
+
 .depend
 Goalfile
 Makefile