no more dummy names for building the library in distributed tarballs

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 78e8fe8d574abc27b5fb33bd5e516f2acc78809d..e453add9c86830f83baa0629eaf8ae3a0c9bbeca 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -209,12 +209,12 @@ dist_library@%:
        $(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 dist_$* `pwd`/$*
+                       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 dist_$*
+                       build $*
        touch $@
 
 endif