- @echo "MATITAMAKE -system init"
- $(H)MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
- ./matitamake$(BEST_EXT) -conffile `pwd`/matita.conf.xml.build \
- init $* `pwd`/$*
- @echo "MATITAMAKE -system build"
- $(H)MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
- ./matitamake$(BEST_EXT) -conffile `pwd`/matita.conf.xml.build \
- build $*
+ $(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 $*)