# HG changeset patch
# User wenzelm
# Date 941495367 -3600
# Node ID 6f49fe89bfe1d637bd4d76f65eaaf95156258ebe
# Parent  966efa3bb851dbfac693d61792fc995433d00c12
RPMRELEASE;

diff -r 966efa3bb851 -r 6f49fe89bfe1 Admin/makerpm
--- 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 /