-# all: matita.conf.xml $(PROGRAMS) coq.moo
-
-# matita.conf.xml: matita.conf.xml.sample
-# $(H)if diff matita.conf.xml.sample matita.conf.xml 1>/dev/null 2>/dev/null; then\
-# touch matita.conf.xml;\
-# else\
-# echo;\
-# echo "matita.conf.xml.sample is newer than matita.conf.xml";\
-# echo;\
-# echo "PLEASE update your configuration file!";\
-# echo "(copying matita.conf.xml.sample should work)";\
-# echo;\
-# false;\
-# fi
-
-# coq.moo: library/legacy/coq.ma matitac
-# ./matitac $(MATITA_FLAGS) $<
-# coq.moo.opt: library/legacy/coq.ma matitac.opt
-# ./matitac.opt $(MATITA_FLAGS) $<