.gitignore

   1 *~
   2 *.cmi
   3 *.cmo
   4 *.cmx
   5 *.cma
   6 *.cmxa
   7 *.log
   8 *.o
   9
  10 /man/*.?
  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 /install-sh
  24 /run
  25 /src/config.ml
  26 /src/goals
  27 /src/lexer.ml
  28 /src/parser.conflicts
  29 /src/parser.ml
  30 /src/parser.mli
  31 /src/stamp-parser
  32 /stamp-h