diff options
| author |  sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-01-12 11:19:15 +0000 |
|---|---|---|
| committer | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-01-12 11:19:15 +0000 |
| commit | 671a49701818022b0349c620ad3675e5517a15cd (patch) | |
| tree | 236bf87155d960f7db34a110f6c43d263dae2087 /tools | |
| parent | 15447715f8b0a77df86e91d77e8ca1185dccc209 (diff) | |
This commit corrects the last commit of Hugo that broke down the "make depend"
command.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6578 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_makefile.ml4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4 index ee6abe3b7..9951e6036 100644 --- a/tools/coq_makefile.ml4 +++ b/tools/coq_makefile.ml4 @@ -89,8 +89,8 @@ let standard sds = print ".depend depend:\n"; if !some_file then begin print "\trm -f .depend\n"; - print "\t$(COQDEP) -i $(COQLIBS) $(VOFILES) *.ml *.mli >.depend\n"; - print "\t$(COQDEP) $(COQLIBS) -suffix .html $(VOFILES) >>.depend\n"; + print "\t$(COQDEP) -i $(COQLIBS) $(VFILES) *.ml *.mli >.depend\n"; + print "\t$(COQDEP) $(COQLIBS) -suffix .html $(VFILES) >>.depend\n"; end; List.iter (fun x -> print "\t(cd "; print x; print " ; $(MAKE) depend)\n") |