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