diff options
| -rw-r--r-- | Makefile.build | 2 | ||||
| -rw-r--r-- | Makefile.common | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 517ff3a624..5894c133b9 100644 --- a/Makefile.build +++ b/Makefile.build @@ -509,7 +509,7 @@ theories/Numbers/Natural/BigN/NMake.v: theories/Numbers/Natural/BigN/NMake_gen.m printers: $(DEBUGPRINTERS) -tools:: $(TOOLS) $(DEBUGPRINTERS) +tools:: $(TOOLS) $(DEBUGPRINTERS) $(COQDEPBOOT) # coqdep_boot : a basic version of coqdep, with almost no dependencies diff --git a/Makefile.common b/Makefile.common index e61a4e28a0..b17d371955 100644 --- a/Makefile.common +++ b/Makefile.common @@ -87,7 +87,7 @@ COQTEX:=bin/coq-tex$(EXE) COQWC:=bin/coqwc$(EXE) COQDOC:=bin/coqdoc$(EXE) -TOOLS:=$(COQDEP) $(COQDEPBOOT) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) +TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) ########################################################################### # Documentation |