# HG changeset patch
# User wenzelm
# Date 925907491 -7200
# Node ID 6a753a6d6738012b684288aca7d8133a54316ed2
# Parent  fa5f2ca893c5f4a696ff1b674bd39eac83c4b6cd
tuned rpm file names;

diff -r fa5f2ca893c5 -r 6a753a6d6738 Admin/makerpm
--- a/Admin/makerpm	Wed May 05 14:31:17 1999 +0200
+++ b/Admin/makerpm	Wed May 05 14:31:31 1999 +0200
@@ -191,8 +191,8 @@
 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-ZF-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isabelle-ZF.i386.rpm"
+cp "isabelle-HOL-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isa-HOL.rpm"
+cp "isabelle-ZF-$RPMVERSION-1.i386.rpm" "$DISTBASE/rpm/isa-ZF.rpm"
 
 # clean up
 cd /