+/*.tar.gz
+/local*
+
+/man/*.?
+/man/*.?.txt
+
.depend
Goalfile
Makefile
.depend
Goalfile
Makefile
/config.h.in
/config.log
/config.status
/config.h.in
/config.log
/config.status
+/goals.spec
+/goals-*.src.rpm
/install-sh
/run
/src/config.ml
/install-sh
/run
/src/config.ml