diff options
| author | herbelin | 2001-12-28 18:37:59 +0000 |
|---|---|---|
| committer | herbelin | 2001-12-28 18:37:59 +0000 |
| commit | 7f467f7fb09abba8e0cb2dca2c50c3adc0509c59 (patch) | |
| tree | 1c6516fe06e91eb31e93cf9a8232761974957c73 /distrib/Makefile | |
| parent | 160c3ffdbf943775b4ad1f693666fcb1bb553ff8 (diff) | |
MAJ 7.2
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2378 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/Makefile')
| -rw-r--r-- | distrib/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index f7e6d03804..be2b22451f 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -71,6 +71,7 @@ tar-gz: @rm -rf ${COQPACKAGE}/KNOWN-BUGS @rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES} @rm -rf ${COQPACKAGE}/theories/Num + @rm -rf ${COQPACKAGE}/doc/newsyntax.tex @find ${COQPACKAGE} -name ".cvsignore" -exec rm {} \; @echo done @echo -n Building the tar.gz source package @@ -263,6 +264,7 @@ ftp-install: prep-ftp-install cp ${COQPACKAGE}/CHANGES ${FTPDIR}/V${VERSION}/ cp ${COQPACKAGE}/README ${FTPDIR}/V${VERSION}/ cp ${COQPACKAGE}/README.win ${FTPDIR}/V${VERSION}/ + cp ${COQPACKAGE}/README.macosx ${FTPDIR}/V${VERSION}/ cp ${COQPACKAGE}.tar.gz ${FTPDIR}/V${VERSION}/ chmod g+w ${FTPDIR}/V${VERSION}/${COQPACKAGE}.tar.gz cp ${COQPACKAGE}-*.tar.gz ${FTPDIR}/V${VERSION}/ @@ -274,6 +276,8 @@ ftp-install: prep-ftp-install prep-ftp-install: - mkdir $(FTPDIR)/V${VERSION} - chmod g+w ${FTPDIR}/V${VERSION} + +final-ftp_install: (cd $(FTPDIR); rm -f current;ln -sf V${VERSION} current) tar-gz-ftp-install: prep-ftp-install |