.gitignore

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