From c04c3ad1e1c5ff48ad9d91856050f1d8c0371289 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 18 Nov 2011 15:21:25 +0000
Subject: [PATCH] minor Makefile fixes for the release

---
 matita/Makefile        |  7 +++++++
 matita/matita/Makefile | 19 +------------------
 2 files changed, 8 insertions(+), 18 deletions(-)

diff --git a/matita/Makefile b/matita/Makefile
index aa73b1647..0a5fc3e92 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -56,6 +56,13 @@ CLEAN_ON_DIST = 		\
 	components/license	\
 	matita/TPTP/		\
 	matita/contribs/	\
+	components/binaries/matitaprover/benchmarks/ \
+	matita/library/		\
+	matita/nlibrary/	\
+	matita/scripts/	\
+	matita/tests/	\
+	matita/lib/lambdaN/	\
+	matita/lib/lambda/	\
 	$(NULL)
 EXTRA_DIST = 			\
 	matita/AUTHORS 		\
diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index bb8486dc3..caf0f82ff 100644
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -204,21 +204,6 @@ cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
 
 # {{{ Distribution stuff
 
-ifeq ($(DISTRIBUTED),yes)
-
-
-dist_library: install_preliminaries 
-	$(H)echo "publish"
-	$(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system -noinnertypes)
-	$(H)echo "destroy"
-	$(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean)
-# sqlite3 only
-	$(H)cp $(WHERE)/.matita/matita.db  $(WHERE)/metadata.db || true
-#$(H)rm -rf $(WHERE)/.matita/
-	touch $@
-
-endif
-
 dist_pre: matitaGeneratedGui.ml
 	$(MAKE) -C dist/ dist_pre
 
@@ -261,9 +246,7 @@ endif
 	$(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
 		ln -fs matita $(WHERE)/$$p;\
 	done
-	$(H)cp -a lib $(WHERE)/ma/standard-library
-	$(H)rm -r $(WHERE)/ma/standard-library/lambda
-	$(H)rm -r $(WHERE)/ma/standard-library/lambdaN
+	$(H)cp -a lib $(WHERE)/lib
 
 	$(H)touch install_preliminaries.stamp
 
-- 
2.39.2