+ # install main dir and executables
+ install -d $(DESTDIR)
+ cp -a $(INSTALL_STUFF) $(DESTDIR)
+ # install the library and corresponding scripts
+ if [ -d $(DESTDIR)/library ]; then rm -rf $(DESTDIR)/library; fi
+ cp -a .matita/xml/matita/ $(DESTDIR)/library/
+ if [ -d $(DESTDIR)/ma ]; then rm -rf $(DESTDIR)/ma; fi
+ install -d $(DESTDIR)/ma
+ifeq ($(HAVE_OCAMLOPT),yes)
+ for p in $(PROGRAMS_BYTE); do ln -s $$p.opt $(DESTDIR)/$$p; done
+endif
+ cp -a library/ $(DESTDIR)/ma/stdlib/
+ cp -a contribs/ $(DESTDIR)/ma/contribs/