From 73854e5fdc3722c0bd567d38c7536397f8d6748f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Sep 2005 20:10:49 +0000
Subject: Fix PGHOMEDEFAULT

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

diff --git a/bin/proofgeneral b/bin/proofgeneral
index d24ba24e..4f442867 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=/home/da/ProofGeneral
+PGHOMEDEFAULT=$HOME/ProofGeneral
 
 # Try to find a default Emacs executable 
 if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
-- 
cgit v1.2.3