diff -r 5041006d6779 -r c9b2a57c0b09 Admin/makerpm
--- a/Admin/makerpm	Mon Sep 25 16:34:29 2000 +0200
+++ b/Admin/makerpm	Mon Sep 25 16:50:59 2000 +0200
@@ -66,6 +66,9 @@
 tar -xpzf "$ARCHIVE_FULL"
 [ -n "$PDF_ARCHIVE_FULL" ] && tar -xpzf "$PDF_ARCHIVE_FULL"
 
+rm -f Isabelle
+ln -s "$ISABELLE_NAME" Isabelle
+
 
 # build
 
@@ -235,7 +238,7 @@
 
 cat >>$TMP/SPECS/isabelle.spec <<EOF
 %files
-%$ROOT/Isabelle
+$ROOT/Isabelle
 %dir $ISABELLE_HOME
 %dir $ISABELLE_HOME/doc
 %dir $ISABELLE_HOME/heaps
@@ -257,13 +260,12 @@
 
 rpm -bb "$TMP/SPECS/isabelle.spec"
 
-mkdir -p "$DISTBASE/rpm"
 cd /usr/src/packages/RPMS/i386
-mv "isabelle-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle.rpm"
-mv "isabelle-HOL-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-HOL.i386.rpm"
-mv "isabelle-HOL-Real-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-HOL-Real.i386.rpm"
-mv "isabelle-ZF-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-ZF.i386.rpm"
-mv "isabelle-pdfdocs-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/rpm/isabelle-pdfdocs.rpm"
+mv "isabelle-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle.rpm"
+mv "isabelle-HOL-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle-HOL.i386.rpm"
+mv "isabelle-HOL-Real-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle-HOL-Real.i386.rpm"
+mv "isabelle-ZF-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle-ZF.i386.rpm"
+mv "isabelle-pdfdocs-$RPMVERSION-${RPMRELEASE}.i386.rpm" "$DISTBASE/isabelle-pdfdocs.rpm"
 
 # clean up
 cd /