all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean matitamake
matita.conf.xml: matita.conf.xml.sample
- @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
+ @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
matita.conf.xml.sample: matita.conf.xml.sample.in
autoconf