From 365243dd1b0566dbc2e9c9e6a40788c2e7fcfd60 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 31 Aug 2009 09:29:36 +0000
Subject: Fix home

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

(limited to 'bin/proofgeneral')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index ffb94c75..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/site-lisp/ProofGeneral
+PGHOMEDEFAULT=$HOME/ProofGeneral
 
 NAME=`basename $0`
 
-- 
cgit v1.2.3