From 36c448f43c7fa16163b543b941be4a917a712a37 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Tue, 27 Oct 2009 19:43:51 +0000
Subject: Add a new vernacular command for controling implicit generalization
 of variables with syntax: [Local?|Global] Generalizable Variable(s)?
 [all|none|id1 idn]. By default no variable is generalizable, so this patch
 breaks backward compatibility with files that used implicit generalization
 (through Instance declarations for example). To get back the old behavior,
 one just needs to use [Global Generalizable Variables all]. Make coq_makefile
 more robust using [mkdir -p].

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12428 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index 486c8804f4..31af75fee0 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -402,10 +402,10 @@ let main_targets vfiles mlfiles other_targets inc =
 	print "spec: $(VIFILES)\n\n";
 	print "gallina: $(GFILES)\n\n";
 	print "html: $(GLOBFILES) $(VFILES)\n";
-	print "\t- mkdir html\n";
+	print "\t- mkdir -p html\n";
 	print "\t$(COQDOC) -toc -html $(COQDOCLIBS) -d html $(VFILES)\n\n";
 	print "gallinahtml: $(GLOBFILES) $(VFILES)\n";
-	print "\t- mkdir html\n";
+	print "\t- mkdir -p html\n";
 	print "\t$(COQDOC) -toc -html -g $(COQDOCLIBS) -d html $(VFILES)\n\n";
 	print "all.ps: $(VFILES)\n";
 	print "\t$(COQDOC) -toc -ps $(COQDOCLIBS) -o $@ `$(COQDEP) -sort -suffix .v $(VFILES)`\n\n";
-- 
cgit v1.2.3