From 44f3a25dae5cbed2fa5497c601c0d95e82558a00 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Sep 2008 11:28:28 +0000
Subject: Updated.

---
 bin/proofgeneral | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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`
-- 
cgit v1.2.3