-stdlib:
- MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
- ./matitamake -init build_stdlib
+dist_library: dist_library@standard-library
+dist_library@%:
+ $(H)echo "MATITAMAKE init $*"
+ $(H)(cd $(DESTDIR) && ./matitamake init $* $(DESTDIR)/ma/$*)
+ $(H)echo "MATITAMAKE publish $*"
+ $(H)(cd $(DESTDIR) && ./matitamake publish $*)
+ $(H)echo "MATITAMAKE destroy $*"
+ $(H)(cd $(DESTDIR) && ./matitamake destroy $*)
+ touch $@