debug: Print the name of goals that run, and goals required.

[goaljobs.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c32e226..a385798 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@
 *.cmxa
 *.o
 *.a
+*.1
 
 Makefile.in
 Makefile
@@ -22,6 +23,7 @@ Makefile
 /configure
 /examples/compile-c/compile
 /examples/compile-c/program
+/goaljobs_config.ml
 /goaljobs.spec
 /goaljobs-*.tar.gz
 /install-sh
@@ -30,3 +32,4 @@ Makefile
 /META
 /missing
 /stamp-h1
+/stamp-ocamldoc