.gitignore

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