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