diff options
| author | David Aspinall | 2008-07-19 16:10:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-19 16:10:12 +0000 |
| commit | 5b11bdadb77636e56dbfd632c85d443a8e8fe59d (patch) | |
| tree | e63051e591c7c3f40bfd4ed2e2a89b9267b2d317 /bin/proofgeneral | |
| parent | 2d36a06815bcb1868805cf7f03d2573e5ab406ab (diff) | |
Clarify that editing this script is expected
Diffstat (limited to 'bin/proofgeneral')
| -rw-r--r-- | bin/proofgeneral | 10 |
1 files 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 |