From 14746407c80ebbc2a15313cbc12cd70cc9a716d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 11:29:30 +0000
Subject: Fix to relative path again

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

(limited to 'bin')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 6def97ff..b54a35b0 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -11,7 +11,7 @@
 #
 
 # The relative path works for uninstalled package
-PGHOME=/usr/share/xemacs/site-packages/lisp/ProofGeneral
+PGHOME=..
 
 # Try to find an Emacs executable 
 if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
-- 
cgit v1.2.3