From 222416c44716e759ec250486cbddb9d4ed30ab32 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Dec 2009 10:58:59 +0000
Subject: Quote arguments to EMACS/PGHOME.

---
 bin/proofgeneral | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'bin/proofgeneral')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 00c5d620..56a4bef6 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -44,7 +44,7 @@ Report bugs at http://proofgeneral.inf.ed.ac.uk/trac"
 
 VERSIONBLURB='David Aspinall.
 
-Copyright (C) 1998-2008 LFCS, University of Edinburgh, UK.
+Copyright (C) 1998-2009 LFCS, University of Edinburgh, UK.
 This is free software; see the source for copying conditions.'
 
    
@@ -57,10 +57,10 @@ while
 	echo "$HELP"
 	exit 0;;
     --emacs)
-	EMACS=$2
+	EMACS="$2"
 	shift;;
     --pghome)
-	PGHOME=$2
+	PGHOME="$2"
 	shift;;
     --version|-v) 
 	VERSION=`grep proof-general-version $PGHOME/generic/proof-site.el | head -1 | sed -e 's/.*Version //g' | sed -e 's/\. .*//g'`
-- 
cgit v1.2.3