From 212e28362d750fa949696676423c6d4d3c93ab42 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Feb 2008 18:00:48 +0000
Subject: Update bug reporting address

---
 bin/proofgeneral | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to 'bin')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 017f4124..1c094c68 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -16,7 +16,6 @@
 # $Id$
 #
 
-
 # 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!
@@ -31,6 +30,17 @@ if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
     fi
 fi
 
+# Try to find Proof General directory
+if [ -d $PGHOMEDEFAULT ]; then
+    PGHOME=$PGHOMEDEFAULT
+elif [ -d /usr/share/${EMACSVERSION}/site-lisp/proofgeneral ]; then
+    PGHOME=/usr/share/${EMACSVERSION}/site-lisp/proofgeneral
+else
+    echo "Cannot find the Proof General lisp files: please set PGHOMEDEFAULT"
+    exit 1
+fi
+
+
 NAME=`basename $0`
 
 HELP="Usage: proofgeneral [OPTION] [FILE]...
@@ -49,8 +59,8 @@ Examples:
   $NAME Example.thy   Load Proof General editing Isar file Example.thy
   $NAME example.v     Load Proof General editing Coq file Example.v
 
-For documentation and latest versions, visit http://proofgeneral.inf.ed.ac.uk.
-Report bugs to <da+pg-bugs@inf.ed.ac.uk>."
+For documentation and latest versions, visit http://proofgeneral.inf.ed.ac.uk
+Report bugs at http://proofgeneral.inf.ed.ac.uk/trac"
 # 
 
 VERSIONBLURB='David Aspinall.
@@ -95,16 +105,6 @@ fi
 
 EMACSVERSION=`basename $EMACS`
 
-# Try to find Proof General directory
-if [ -d $PGHOMEDEFAULT ]; then
-    PGHOME=$PGHOMEDEFAULT
-elif [ -d /usr/share/${EMACSVERSION}/site-lisp/proofgeneral ]; then
-    PGHOME=/usr/share/${EMACSVERSION}/site-lisp/proofgeneral
-else
-    echo "Cannot find the Proof General lisp files: please set PGHOMEDEFAULT"
-    exit 1
-fi
-
 # Deal with UTF issue
 if [ `locale | grep LC_CTYPE | grep UTF` ]; then
    echo "Warning: detected Unicode LC_CTYPE setting, switched back to C"
-- 
cgit v1.2.3