# HG changeset patch
# User wenzelm
# Date 969292683 -7200
# Node ID ee8ee61acd8c2947f40b3a7033f6597e77fd6e2a
# Parent  6d5d618b302cc0a156dee23efd8fd301480d07d7
rpm --force;

diff -r 6d5d618b302c -r ee8ee61acd8c Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Mon Sep 18 17:56:44 2000 +0200
+++ b/Admin/page/dist-content/packages.content	Mon Sep 18 17:58:03 2000 +0200
@@ -67,11 +67,11 @@
 Example installation in <tt>/usr/share</tt> (the default location):
 
 <pre>
-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
+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
 </pre>
 
 <p>