+all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean
+
+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
+
+matita.conf.xml.sample: matita.conf.xml.sample.in
+ autoconf
+ ./configure
+ @echo
+ @echo "WARNING: The configuration sample file has changed!"
+ @echo