diff options
| author | marche | 2003-12-16 16:07:54 +0000 |
|---|---|---|
| committer | marche | 2003-12-16 16:07:54 +0000 |
| commit | a3281b10a5ec5721eac591ef5cfe273238d2e377 (patch) | |
| tree | b4d53b4c5a649ba9358543d435a7719ab0da50de /doc/Makefile | |
| parent | 6942f889bfe68b308744a01cc079403e872b4925 (diff) | |
coqide menus on golas
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8403 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index a6f5610938..d1565888eb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -280,8 +280,8 @@ demos-programs: Recursive-Definition.v.tex: ./title.tex Recursive-Definition.tex -Tutorial.v.dvi: ./title.tex Tutorial.v.tex -Tutorial.v.pdf: ./title.tex Tutorial.v.tex +Tutorial.v.dvi: ./version.tex ./title.tex Tutorial.v.tex +Tutorial.v.pdf: ./version.tex ./title.tex Tutorial.v.tex # RefMan-ppr.v.tex: ../tactics/eqdecide.cmo |