--- a/Admin/makerpm Mon Nov 01 12:48:54 1999 +0100
+++ b/Admin/makerpm Mon Nov 01 23:29:27 1999 +0100
@@ -11,6 +11,7 @@
DISTBASE=~/tmp/isadist
ROOT=/usr/share
BIN=/usr/bin
+RPMRELEASE=0
## diagnostics
@@ -96,7 +97,7 @@
Summary: Isabelle Theorem Proving Environment
Name: isabelle
Version: $RPMVERSION
-Release: 1
+Release: $RPMRELEASE
Group: Applications/Math
Copyright: University of Cambridge Computer Laboratory
Url: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
@@ -245,11 +246,11 @@
mkdir -p "$DISTBASE/rpm"
cd "$TMP/RPMS/i386"
-cp "isabelle-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle.rpm"
-cp "isabelle-HOL-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-HOL.i386.rpm"
-cp "isabelle-HOL-Real-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-HOL-Real.i386.rpm"
-cp "isabelle-ZF-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-ZF.i386.rpm"
-cp "isabelle-pdfdocs-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-pdfdocs.rpm"
+cp "isabelle-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle.rpm"
+cp "isabelle-HOL-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-HOL.i386.rpm"
+cp "isabelle-HOL-Real-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-HOL-Real.i386.rpm"
+cp "isabelle-ZF-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-ZF.i386.rpm"
+cp "isabelle-pdfdocs-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-pdfdocs.rpm"
# clean up
cd /