From c6c85f76eb7a7a83a9e146d8fadc5c3040e1e1f7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 19:43:08 +0000
Subject: Instead, remove doc/ from top-level of distdir.

---
 Makefile.devel | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index c16a8e7a..ee13741f 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -297,9 +297,9 @@ dist:
 	(cd $(DISTBUILDIR)/$(RELEASENAME); $(DEVELMAKE) alldist)
 	(cd $(DISTBUILDIR)/$(RELEASENAME); $(DEVELMAKE) clean)
 	@echo "*************************************************"
-	@echo " Copying doc files .."
-	@echo "*************************************************"
-	(cp -pr $(DISTBUILDIR)/$(RELEASENAME)/doc $(DISTBUILDIR))
+#	@echo " Copying doc files .."
+#	@echo "*************************************************"
+#	(cp -pr $(DISTBUILDIR)/$(RELEASENAME)/doc $(DISTBUILDIR))
 	@echo "*************************************************"
 	@echo " Moving html files .."
 	@echo "*************************************************"
-- 
cgit v1.2.3