From 7d525a19d59ab507ca2016d7172e3281e57bac48 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 28 Feb 2004 19:34:28 +0000
Subject: Fix paths

---
 bin/proofgeneral | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 54633199..ee1f80a6 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -53,12 +53,12 @@ while
 	echo "$HELP" >&2
 	exit 1;;
     -v) 
-	VERSION=`grep proof-general-version ~/PG/generic/proof-site.el | sed -e 's/.*Version //g' | sed -e 's/\. .*//g'`
+	VERSION=`grep proof-general-version $PGHOME/generic/proof-site.el | sed -e 's/.*Version //g' | sed -e 's/\. .*//g'`
 	echo "$NAME" "($VERSION)" >&2
 	echo "$VERSIONBLURB" >&2
 	exit 1;;
     --version) 
-	VERSION=`grep proof-general-version ~/PG/generic/proof-site.el | sed -e 's/.*Version //g' | sed -e 's/\. .*//g'`
+	VERSION=`grep proof-general-version $PGHOME/generic/proof-site.el | sed -e 's/.*Version //g' | sed -e 's/\. .*//g'`
 	echo "$NAME" "($VERSION)" >&2
 	echo "$VERSIONBLURB" >&2
 	exit 1;;
-- 
cgit v1.2.3