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