From 28297951d083515fdbd9e6ab61d5199c1bbe21e1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 11 Sep 2004 14:15:19 +0000
Subject: Typo

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

(limited to 'bin')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 814a9938..f66cdaa7 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -101,7 +101,7 @@ if [ -d $PGHOMEDEFAULT ]; then
 elif [ -d /usr/share/${EMACSVERSION}/site-lisp/proofgeneral ]; then
     PGHOME=/usr/share/${EMACSVERSION}/site-lisp/proofgeneral
 else
-    echo "Cannot find a Proof General list files: please set PGHOMEDEFAULT"
+    echo "Cannot find the Proof General lisp files: please set PGHOMEDEFAULT"
     exit 1
 fi
 
-- 
cgit v1.2.3