diff options
| -rw-r--r-- | bin/proofgeneral | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index 0e277bf3..a661adaf 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -18,7 +18,8 @@ # The default path should work if you are using the Proof General RPM # or unpack Proof General in your home directory. Otherwise edit below. # NB: no trailing backslash here! -#PGHOMEDEFAULT=/Applications/Emacs.app/Contents/MacOS/Emacs/site-lisp/ProofGeneral +# On Mac, maybe: +# /Applications/Emacs.app/Contents/MacOS/Emacs/site-lisp/ProofGeneral PGHOMEDEFAULT=$HOME/ProofGeneral NAME=`basename $0` |