-stdlib:
- @echo "MATITACLEAN all"
- $(H)./matitaclean -system -conffile `pwd`/matita.conf.xml.build all
- @echo "MATITAMAKE init"
+ifeq ($(DISTRIBUTED),yes)
+
+dist_library: dist_library@library
+dist_library_clean:
+ @echo "MATITACLEAN -system all"
+ $(H)./matitaclean$(BEST_EXT) \
+ -system -conffile `pwd`/matita.conf.xml.build all
+dist_library@%:
+ @echo "MATITAMAKE -system init"