diff options
| author | herbelin | 2005-01-25 17:28:21 +0000 |
|---|---|---|
| committer | herbelin | 2005-01-25 17:28:21 +0000 |
| commit | 6d1e504f02b73044397734c377afc1fab13d3c62 (patch) | |
| tree | 45d00b978737f6dc16e15229d70af4a4b8e3e4fd | |
| parent | d1b587966c4bb33d5cf2dcdd4eb489118321fa17 (diff) | |
Suppression cible all-ps-docs; ajout www/index.html
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8596 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index ab4880d5ec..d61e02a3c8 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -73,7 +73,7 @@ FTPDOCS=Reference-Manual-base.ps.gz Reference-Manual-base.dvi.gz \ Reference-Manual-all.ps.gz Reference-Manual-all.dvi.gz\ # Library.dvi.gz Library.ps.gz\ Tutorial.dvi.gz Tutorial.ps.gz\ - README all-ps-docs.tar.gz\ +# README all-ps-docs.tar.gz\ # Changes.dvi.gz Changes.ps.gz FTPHTMLDOCS=doc-html.tar.gz @@ -168,6 +168,7 @@ html-www: all-html cp coqide-queries.png coqide.png www (cd www; hacha -o toc.html ../Reference-Manual.html) cp cover.html main.html main-0.html www + ln -s main.html www/index.html clean-refman: |