# HG changeset patch
# User wenzelm
# Date 969454759 -7200
# Node ID 839340b78fc8337ea2f9d6646f3aac7d74a0cf14
# Parent  0d2a6feeb634803ee524d8e38cec8b8167b7f5f2
tuned rpm command lines;

diff -r 0d2a6feeb634 -r 839340b78fc8 Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Wed Sep 20 00:50:09 2000 +0200
+++ b/Admin/page/dist-content/packages.content	Wed Sep 20 14:59:19 2000 +0200
@@ -67,11 +67,17 @@
 Example installation in <tt>/usr/share</tt> (the default location):
 
 <pre>
-rpm -i --force --prefix /usr/share polyml.i386.rpm
-rpm -i --force --prefix /usr/share isabelle.rpm
-rpm -i --force --prefix /usr/share isabelle-HOL.i386.rpm
-rpm -i --force --prefix /usr/share proofgeneral.rpm
-rpm -i --force --prefix /usr/share xsymbol.rpm
+rpm -i --prefix /usr/share polyml.i386.rpm
+rpm -i --prefix /usr/share isabelle.rpm
+rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
+rpm -i --prefix /usr/share proofgeneral.rpm
+rpm -i --prefix /usr/share xsymbol.rpm
+</pre>
+
+Note that installed RPMs may be removed like this:
+
+<pre>
+rpm -e xsymbol proofgeneral isabelle-HOL isabelle polyml
 </pre>
 
 <p>
diff -r 0d2a6feeb634 -r 839340b78fc8 INSTALL
--- a/INSTALL	Wed Sep 20 00:50:09 2000 +0200
+++ b/INSTALL	Wed Sep 20 14:59:19 2000 +0200
@@ -70,11 +70,15 @@
 
 A minimal installation would work like this (executed as root):
 
-  rpm -i --force --prefix /usr/share polyml.i386.rpm
-  rpm -i --force --prefix /usr/share isabelle.rpm
-  rpm -i --force --prefix /usr/share isabelle-HOL.i386.rpm
+  rpm -i --prefix /usr/share polyml.i386.rpm
+  rpm -i --prefix /usr/share isabelle.rpm
+  rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
 
-The install prefix may be changed as indicated.  By default the ML
+Note that installed RPMs may be removed like this:
+
+  rpm -e isabelle-HOL isabelle polyml
+
+The install prefix given above may be changed.  By default the ML
 system (and other contributed packages) are expected in either of the
 following three locations:
 
@@ -83,7 +87,8 @@
   3) /usr/share
   4) /usr/local
 
-This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
+This may be changed further by editing [ISABELLE_HOME]/etc/settings
+manually.
 
 Note that isabelle.rpm and isabelle-pdfdocs.rpm already contain all of
 Isabelle as platform independent sources.  Precompiled object-logics