diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-09 12:48:14 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-09 12:48:14 +0000 |
| commit | 5c981bb9812f3f249e7fe9f43346fc68b9b56dbb (patch) | |
| tree | 3f34766b119113e249a2fd5f9d051f8e8152b704 /tools | |
| parent | 0ca3c38f67809c87ee1caf3a3aa541816f79d3cc (diff) | |
VOFILES aussi pour make depend
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6444 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 141864d80..ee6abe3b7 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) *.v *.ml *.mli >.depend\n"; - print "\t$(COQDEP) $(COQLIBS) -suffix .html *.v >>.depend\n"; + print "\t$(COQDEP) -i $(COQLIBS) $(VOFILES) *.ml *.mli >.depend\n"; + print "\t$(COQDEP) $(COQLIBS) -suffix .html $(VOFILES) >>.depend\n"; end; List.iter (fun x -> print "\t(cd "; print x; print " ; $(MAKE) depend)\n") |