# HG changeset patch
# User wenzelm
# Date 969893459 -7200
# Node ID c9b2a57c0b09eacb5c934210b3f35ef8e50dd33d
# Parent  5041006d6779b7466d3fe198cd8837aa1813ebb0
tuned;

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 /
diff -r 5041006d6779 -r c9b2a57c0b09 Admin/proofgeneral/proofgeneral.spec
--- a/Admin/proofgeneral/proofgeneral.spec	Mon Sep 25 16:34:29 2000 +0200
+++ b/Admin/proofgeneral/proofgeneral.spec	Mon Sep 25 16:50:59 2000 +0200
@@ -1,7 +1,7 @@
 Summary:	Proof General, Emacs interface for Proof Assistants
 Name:		proofgeneral
-Version:	3.2pre
-Release:	2
+Version:	3.2pre000923
+Release:	1
 Group:		Applications/Editors/Emacs
 Copyright:	LFCS, University of Edinburgh
 Url:		http://www.lfcs.informatics.ed.ac.uk/proofgen
@@ -9,18 +9,14 @@
 Prefix:		/usr/share
 BuildArchitectures: noarch
 
-
 %description
 Proof General is a generic Emacs interface for proof assistants,
-suitable for use by pacifists and Emacs militants alike.
-It is supplied ready-customized for LEGO, Coq, and Isabelle.
-
-This distribution of Proof General is intended to be used together
-with Isabelle and Proof General.  It relies on Isabelle's automatic
-configuration of contributed packages.
+suitable for use by pacifists and Emacs militants alike.  It is
+supplied ready-customized for LEGO, Coq, and Isabelle.
 
 %prep
-find /usr/share/ProofGeneral -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'
+find /usr/share/ProofGeneral/. -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'
 
 %files
 %attr(-,root,root) /usr/share/ProofGeneral
+%attr(-,root,root) /usr/share/ProofGeneral-3.2pre000923