From b1472fb627a847b610ff82a2ebdf85241576169b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 15 Sep 2009 08:42:53 +0000
Subject: Fix back to default

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

(limited to 'bin/proofgeneral')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 718e9d5f..a661adaf 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -20,7 +20,7 @@
 # NB: no trailing backslash here!
 # On Mac, maybe:
 # /Applications/Emacs.app/Contents/MacOS/Emacs/site-lisp/ProofGeneral
-PGHOMEDEFAULT=/usr/share/emacs-snapshot/site-lisp/ProofGeneral
+PGHOMEDEFAULT=$HOME/ProofGeneral
 
 NAME=`basename $0`
 
-- 
cgit v1.2.3