diff options
| author | herbelin | 2001-09-25 07:37:52 +0000 |
|---|---|---|
| committer | herbelin | 2001-09-25 07:37:52 +0000 |
| commit | 7b56283ddc0c2b3be8ab4a76a451eac6319d4235 (patch) | |
| tree | d0d7c98401c263aa29933139453f093fc96f7a7f /distrib/Makefile | |
| parent | f5c0396f5ff4a1357f954fccd725ca68e40bd62c (diff) | |
MAJ V7.1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2064 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/Makefile')
| -rw-r--r-- | distrib/Makefile | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 9ea3ca6ce8..77ac42e383 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -50,10 +50,8 @@ rpm: src-rpm arch-rpm ################# tag: - @dashedversion=V`echo ${VERSION} | sed -e 's/\./-/g'`;\ - majorversion=V`echo ${VERSION} | sed -e 's/^\([0-9]\.[0-9]\).*/\1/g'`;\ - echo -n "Tagging the archive with version number $$dashedversion... ";\ - cvs rtag -F $$dashedversion $$majorversion + echo -n "Tagging the archive with version number $(DASHEDVERSION)...";\ + cvs rtag -F $(DASHEDVERSION) $(MAJORVERSION) tar-gz: @echo -n Exporting a fresh copy of the archive... @@ -198,16 +196,14 @@ coq.spec: RH/coq.list RH/coq.spec.tpl ########## contrib-tag: - @dashedversion=V`echo ${VERSION} | sed -e 's/\./-/g'`;\ - echo -n "Tagging the contrib with version number $$dashedversion... ";\ - cvs rtag -F $$dashedversion contrib + echo -n "Tagging the contrib with version number $(DASHEDVERSION)...";\ + cvs rtag -F $(DASHEDVERSION) contrib @echo done contrib-tar-gz: - rm -rf contrib-${VERSION} @echo -n Exporting a fresh copy of the contribs... - @dashedversion=V`echo ${VERSION} | sed -e 's/\./-/g'`;\ - cvs export -d contrib-${VERSION} -r $$dashedversion contrib + cvs export -d contrib-${VERSION} -r $(DASHEDVERSION) contrib @echo done - rm contrib-${VERSION}.tar.gz @echo -n Building the tar.gz contrib package |