From b0bafbcd9a8385e9b8778bb9a2b81df418197b16 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 8 Feb 2006 10:33:59 +0000 Subject: [PATCH] no more dummy names for building the library in distributed tarballs --- helm/software/matita/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 78e8fe8d5..e453add9c 100644 --- 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 -- 2.39.2