+
+INSTALL_PROGRAMS= matita matitac
+INSTALL_PROGRAMS_LINKS_MATITA= cicbrowser
+INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitamake matitaclean
+ifeq ($(HAVE_OCAMLOPT),yes)
+INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS:%=%.opt)
+else
+INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS)
+endif
+
+install: install_preliminaries dist_library install_conclusion
+
+install_preliminaries:
+ install -d $(DESTDIR)/ma/
+ cp -a $(INSTALL_STUFF) $(DESTDIR)