parser: Fix longstanding bug where "()" was required after CLI targets.
[goals.git] / .gitignore
index bd1d969..f7f3271 100644 (file)
@@ -4,20 +4,25 @@
 *.cmx
 *.cma
 *.cmxa
+*.log
 *.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