jobs: Don't let Failure exception escape from worker.

[goals.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index bd1d969..c7b71aa 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,18 +6,22 @@
 *.cmxa
 *.o
 
+/man/*.?
+
 .depend
 Goalfile
 Makefile
-config.log
 
 /aclocal.m4
 /autom4te.cache/
 /configure
 /config.h
 /config.h.in
+/config.log
 /config.status
 /install-sh
+/run
+/src/config.ml
 /src/goals
 /src/lexer.ml
 /src/parser.conflicts