From cdf5066525dcd682cab2dd71b6154b417ad6ffa2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 14:05:27 +0000
Subject: Updated.

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

(limited to 'bin')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 07aab576..017f4124 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -20,7 +20,7 @@
 # The default path should work if you are using the Proof General RPM
 # or unpack Proof General in your home directory.
 # NB: no trailing backslash here!
-PGHOMEDEFAULT=/usr/share/emacs/site-lisp/ProofGeneral
+PGHOMEDEFAULT=$HOME/ProofGeneral
 
 # Try to find a default Emacs executable 
 if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
-- 
cgit v1.2.3