endif
install-arch: install_preliminaries
-install-indep: dist_library
+install-indep:
install_preliminaries : install_preliminaries.stamp
ln -fs matita $(WHERE)/$$p;\
done
$(H)cp -a library/ $(WHERE)/ma/standard-library
+ $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
$(H)touch install_preliminaries.stamp