.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