Ignore local* files.
[goals.git] / .gitignore
1 *~
2 *.cmi
3 *.cmo
4 *.cmx
5 *.cma
6 *.cmxa
7 *.log
8 *.o
9
10 /local*
11
12 /man/*.?
13
14 .depend
15 Goalfile
16 Makefile
17
18 /aclocal.m4
19 /autom4te.cache/
20 /configure
21 /config.h
22 /config.h.in
23 /config.log
24 /config.status
25 /install-sh
26 /run
27 /src/config.ml
28 /src/goals
29 /src/lexer.ml
30 /src/parser.conflicts
31 /src/parser.ml
32 /src/parser.mli
33 /src/stamp-parser
34 /stamp-h