.gitignore

   1 *~
   2 *.cmi
   3 *.cmo
   4 *.cmx
   5 *.cma
   6 *.cmxa
   7 *.o
   8
   9 /man/*.?
  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