# HG changeset patch
# User wenzelm
# Date 968876830 -7200
# Node ID bca0749bb907396ba9d98351abdadcb12f6ed341
# Parent  a0efbd7c88dc5281f9302e5062b4a8c8765a795c
tar packages: /usr/local;

diff -r a0efbd7c88dc -r bca0749bb907 Admin/page/dist-content/binary.content
--- a/Admin/page/dist-content/binary.content	Wed Sep 13 18:47:30 2000 +0200
+++ b/Admin/page/dist-content/binary.content	Wed Sep 13 22:27:10 2000 +0200
@@ -5,10 +5,10 @@
 
 <p>
 
-The binary distribution is designed for easy installation of Isabelle
-and related tools (Proof General and X-Symbol) on common platforms.
-There is no manual intervention requires, no need to edit config files
-etc. by hand.
+<strong>NOTE.</strong> The binary distribution is designed for easy
+installation of Isabelle, and related tools such as Proof General and
+X-Symbol.  There is no manual intervention required, provided that the
+versions of packages as provided below are used.
 
 
 <h2>(1) Linux/x86 systems with RPM</h2>
@@ -71,19 +71,19 @@
 
 <p>
 
-Example installation in <tt>/usr/share</tt> for Linux/x86:
+Example installation in <tt>/usr/local</tt> for Linux/x86:
 
 <pre>
-tar -C /usr/share -x -z -f polyml_base.tar.gz
-tar -C /usr/share -x -z -f polyml_x86-linux.tar.gz
-tar -C /usr/share -x -z -f <!-- _GP_ distname . ".tar.gz"-->
-tar -C /usr/share -x -z -f ProofGeneral.tar.gz            #requires XEmacs-21
-tar -C /usr/share -x -z -f x-symbol.tar.gz
+tar -C /usr/local -x -z -f polyml_base.tar.gz
+tar -C /usr/local -x -z -f polyml_x86-linux.tar.gz
+tar -C /usr/local -x -z -f <!-- _GP_ distname . ".tar.gz"-->
+tar -C /usr/local -x -z -f ProofGeneral.tar.gz            #requires XEmacs-21
+tar -C /usr/local -x -z -f x-symbol.tar.gz
 
-cd <!-- _GP_ "/usr/share/" . distname -->
+cd <!-- _GP_ "/usr/local/" . distname -->
 ./configure
 ./build
-./bin/isatool install -p /usr/bin
+./bin/isatool install -p /usr/local/bin
 </pre>
 
 <p>