From ca24ada31665eabca207280b507b69a5e095af24 Mon Sep 17 00:00:00 2001
From: lmamane
Date: Mon, 16 Jul 2007 13:59:01 +0000
Subject: Do not try to clean the doc when no config/Makefile

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

diff --git a/Makefile b/Makefile
index c8af1e62e6..4e8ff62f15 100644
--- a/Makefile
+++ b/Makefile
@@ -82,7 +82,7 @@ stage3 $(STAGE3_TARGETS): stage2
 
 .PHONY: clean objclean cruftclean indepclean archclean ml4clean clean-ide depclean distclean cleanconfig cleantheories docclean
 
-clean: objclean cruftclean depclean
+clean: objclean cruftclean depclean docclean
 
 objclean: archclean indepclean
 
@@ -102,7 +102,11 @@ 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
 
 archclean: clean-ide cleantheories
 	rm -f $(COQTOPOPT) $(BESTCOQTOP) $(COQC) $(COQMKTOP)
@@ -127,7 +131,7 @@ depclean:
 cleanconfig:
 	rm -f config/Makefile config/coq_config.ml dev/ocamldebug-v7 ide/undo.mli
 
-distclean: clean cleanconfig docclean
+distclean: clean cleanconfig
 
 cleantheories:
 	rm -f states/*.coq
-- 
cgit v1.2.3