Update TODO.

[goals.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d901824..c7b71aa 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,8 @@
 *.cmxa
 *.o
 
+/man/*.?
+
 .depend
 Goalfile
 Makefile