diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-09-11 14:15:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-09-11 14:15:19 +0000 |
commit | 28297951d083515fdbd9e6ab61d5199c1bbe21e1 (patch) | |
tree | 885ce13d1f76bae999d617880c5b082f383d7415 /bin | |
parent | 632da95f9f929f49803400d7a5beb2cc5cf55705 (diff) |
Typo
Diffstat (limited to 'bin')
-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 |