$(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
ln -fs matita $(WHERE)/$$p;\
done
+ $(H)cd library;../matitadep
$(H)cp -a library/ $(WHERE)/ma/standard-library
- #$(H)cp -a contribs/ $(WHERE)/ma/
+
$(H)touch install_preliminaries.stamp
uninstall: