From 95ec8e7defce5175a541b50479cc7f76058bedfc Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 14 Feb 2008 18:30:40 +0000
Subject: Plongement de doc/Makefile dans la nouvelle architecutre des Makefile

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10570 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 20 +++++++++++++++-----
 1 file changed, 15 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index be1ee4ef26..ecd3871057 100644
--- a/Makefile
+++ b/Makefile
@@ -156,11 +156,21 @@ indepclean:
 	rm -f revision
 
 docclean:
-ifdef COQ_CONFIGURED
-	$(MAKE) -C doc clean
-else
-	$(warning Clean of documentation requires "./configure" to be run; not done.)
-endif
+	rm -f doc/*/*.dvi doc/*/*.aux doc/*/*.log doc/*/*.bbl doc/*/*.blg doc/*/*.toc \
+	doc/*/*.idx doc/*/*~ doc/*/*.ilg doc/*/*.ind doc/*/*.dvi.gz doc/*/*.ps.gz doc/*/*.pdf.gz\
+	doc/*/*.???idx doc/*/*.???ind doc/*/*.v.tex doc/*/*.atoc doc/*/*.lof\
+	doc/*/*.hatoc doc/*/*.haux doc/*/*.hcomind doc/*/*.herrind doc/*/*.hidx doc/*/*.hind \
+	doc/*/*.htacind doc/*/*.htoc doc/*/*.v.html
+	rm -f doc/stdlib/index-list.html doc/stdlib/index-body.html \
+	  doc/stdlib/Library.coqdoc.tex doc/stdlib/library.files \
+	  doc/stdlib/library.files.ls
+	rm -f doc/*/*.ps doc/*/*.pdf 
+	rm -rf doc/refman/html doc/stdlib/html doc/faq/html doc/tutorial/tutorial.v.html
+	rm -f doc/stdlib/html/*.html
+	rm -f doc/refman/euclid.ml{,i} doc/refman/heapsort.ml{,i}
+	rm -f doc/common/version.tex
+	rm -f doc/refman/*.eps doc/refman/Reference-Manual.html
+	rm -f doc/coq.tex
 
 archclean: clean-ide cleantheories
 	rm -f $(COQTOPOPT) $(BESTCOQTOP) $(COQC) $(COQMKTOP)
-- 
cgit v1.2.3