$(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)M=$$PWD/matitadep cd $(WHERE)/ma/standard-library; $$M
$(H)touch install_preliminaries.stamp