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