+install: install_preliminaries dist_library install_conclusion
+
+install_preliminaries:
+ install -d $(DESTDIR)/ma/
+ cp -a $(INSTALL_STUFF) $(DESTDIR)
+ifeq ($(HAVE_OCAMLOPT),yes)
+ install -s $(INSTALL_STUFF_BIN) $(DESTDIR)
+ for p in $(INSTALL_PROGRAMS); do ln -fs $$p.opt $(DESTDIR)/$$p; done
+else
+ install $(INSTALL_STUFF_BIN) $(DESTDIR)
+endif
+ for p in $(INSTALL_PROGRAMS_LINKS_MATITAC); do \
+ ln -fs matitac $(DESTDIR)/$$p;\
+ done
+ for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
+ ln -fs matita $(DESTDIR)/$$p;\
+ done
+ cp -a library/ $(DESTDIR)/ma/standard-library
+ cp -a contribs/ $(DESTDIR)/ma/
+
+install_conclusion:
+