From ee1f0a3e11d1c53c3122f231cf2726d2941731a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 11:45:08 +0000
Subject: Fix default location

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

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 46d541a4..7ced2770 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -13,7 +13,7 @@
 # The default path works if you unpack Proof General in your
 # home directory.
 # NB: no trailing backslash here!
-PGHOME=$HOME/ProofGeneral
+PGHOME=/home/da/ProofGeneral
 
 # Try to find an Emacs executable 
 if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
-- 
cgit v1.2.3