From 5b11bdadb77636e56dbfd632c85d443a8e8fe59d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 19 Jul 2008 16:10:12 +0000
Subject: Clarify that editing this script is expected

---
 bin/proofgeneral | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 1c094c68..d6892d8b 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -5,9 +5,9 @@
 # Set EMACS to override choice of Emacs version
 # (otherwise script chooses emacs in preference to xemacs)
 #
-# PGHOME must be set to the directory where the lisp files of
-# Proof General are installed.  Script checks standard locations
-# in /usr/share/emacs/site-lisp, or uses PGHOMEDEFAULT
+# PGHOME must be set to the directory where the lisp files of Proof
+# General are installed.  Script checks standard locations in
+# /usr/share/emacs/site-lisp, or uses PGHOMEDEFAULT defined at top.
 #
 # We load ~/.proofgeneral instead of ~/.emacs if it exists.
 #
@@ -17,7 +17,7 @@
 #
 
 # The default path should work if you are using the Proof General RPM
-# or unpack Proof General in your home directory.
+# or unpack Proof General in your home directory.  Otherwise edit below.
 # NB: no trailing backslash here!
 PGHOMEDEFAULT=$HOME/ProofGeneral
 
@@ -36,7 +36,7 @@ if [ -d $PGHOMEDEFAULT ]; then
 elif [ -d /usr/share/${EMACSVERSION}/site-lisp/proofgeneral ]; then
     PGHOME=/usr/share/${EMACSVERSION}/site-lisp/proofgeneral
 else
-    echo "Cannot find the Proof General lisp files: please set PGHOMEDEFAULT"
+    echo "Cannot find the Proof General lisp files: please edit script to set PGHOMEDEFAULT correctly."
     exit 1
 fi
 
-- 
cgit v1.2.3