From f372e35283053fa94dc783490c33151cffb2864b Mon Sep 17 00:00:00 2001 From: monate Date: Mon, 2 Jun 2003 17:32:33 +0000 Subject: au lieu de make git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4095 85f007b7-540e-0410-9357-904b9bb8a0f7 --- Makefile | 2 +- ide/coqide.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 3e114e506a..bc5364f8f9 100644 --- a/Makefile +++ b/Makefile @@ -700,7 +700,7 @@ noreal: logic arith bool zarith lists sets intmap relations wellfounded \ glob.dump:: rm -f glob.dump rm -f theories/*/*.vo - make GLOB="-dump-glob glob.dump" world + $(MAKE) GLOB="-dump-glob glob.dump" world clean:: rm -f theories/*/*.vo diff --git a/ide/coqide.ml b/ide/coqide.ml index dd975db275..5745878019 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1,4 +1,4 @@ -(***********************************************************************) + (***********************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) (*