diff options
| -rw-r--r-- | bin/proofgeneral | 2 |
1 files changed, 1 insertions, 1 deletions
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 |