.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 Makefile.in
  16
  17 /aclocal.m4
  18 /autom4te.cache/
  19 /compile
  20 /configure
  21 /config.h
  22 /config.h.in
  23 /config.log
  24 /config.status
  25 /goals.spec
  26 /goals-*.src.rpm
  27 /install-sh
  28 /local*
  29 /man/*.?
  30 /man/*.?.txt
  31 /missing
  32 /run
  33 /src/config.ml
  34 /src/goals
  35 /src/lexer.ml
  36 /src/parser.conflicts
  37 /src/parser.ml
  38 /src/parser.mli
  39 /src/stamp-parser
  40 /stamp-h
  41 /stamp-h1