+dist_library: install_preliminaries dist_library@standard-library
+dist_library@%:
+ $(H)echo "MATITAMAKE init $*"
+ $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake init $* $(WHERE)/ma/$*)
+ $(H)echo "MATITAMAKE publish $*"
+ $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake publish $*)
+ $(H)echo "MATITAMAKE destroy $*"
+ $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake destroy $*)
+ # sqlite3 only
+ $(H)cp $(WHERE)/.matita/matita.db $(WHERE)/metadata.db || true
+ #$(H)rm -rf $(WHERE)/.matita/
+ touch $@
+
+endif
+
+dist_pre: matitaGeneratedGui.ml
+ $(MAKE) -C dist/ dist_pre
+
+WHERE = $(DESTDIR)/$(RT_BASE_DIR)