diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | ide/coqide.ml | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -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 *) (* <O___,, * INRIA-Rocquencourt & LRI-CNRS-Orsay *) (* \VV/ *************************************************************) |