From 9a6180a0fb03bc452414f0327ce375733c223f5d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 27 Jan 2001 17:28:25 +0000
Subject: Suppression du retrait du répertoire doc de l'archive tar-gzip-ée

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1283 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/distrib/Makefile b/distrib/Makefile
index cc46418c66..88f870a478 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -60,7 +60,7 @@ tar-gz:
 	@cvs export -d $(COQPACKAGE) -r $(DASHEDVERSION) $(MAJORVERSION)
 	@echo done
 	@echo -n Removing the maintenance files and doc...
-	@rm -rf ${COQPACKAGE}/doc
+#	@rm -rf ${COQPACKAGE}/doc     # doc is implementation doc
 	@rm -rf ${COQPACKAGE}/distrib
 #	@rm -rf ${COQPACKAGE}/KNOWN-BUGS
 	@rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES}
-- 
cgit v1.2.3