diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-10-02 15:05:49 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-10-02 15:05:49 +0000 |
| commit | 4c1409e311dc02b663b749aeb9785c257dff29a7 (patch) | |
| tree | a11619008643a110e93bf2cbce17d410afa6003b | |
| parent | 59bd2bb2d4dcd98a02eeee0e9e91a88185662958 (diff) | |
Bug FTPDOCS
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8243 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index b1d563981..d7477a9fb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -48,7 +48,7 @@ REFMANFILES= Reference-Manual.tex RefMan-pre.tex RefMan-int.tex \ REFMAN=Reference-Manual -#VERSION=V6.3.1 +#VERSION=V7.1 VERSION=POSITIONNEZ-CETTE-VARIABLE FTPDOCDIR=/net/pauillac/infosystems/ftp/coq/coq/$(VERSION)/doc WWWDOCDIR=/net/pauillac/infosystems/www/coq/doc @@ -325,7 +325,7 @@ doc-ftp-www-install: doc-ftp-install doc-www-install doc-ftp-install: - mkdir $(FTPDOCDIR) - cp $(ALLFTPDOCS) $(FTPHTMLDOCS) $(FTPDOCDIR) + cp $(FTPDOCS) $(FTPHTMLDOCS) $(FTPDOCDIR) chmod g+w $(FTPDOCDIR)/* doc-www-install: |