diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-12 15:54:06 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-12 15:54:06 +0000 |
commit | 296de38e40b8e6528f0f1adc621c8b99595fc65e (patch) | |
tree | 0f1b9fe118c55326045bc0b91156d364b5482aa9 | |
parent | 9b0b0440d022ca209289d7e26da08345bb3a04c6 (diff) |
Wording
-rw-r--r-- | html/download.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/download.phtml b/html/download.phtml index 1c245937..2a3af210 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -74,7 +74,7 @@ To use Proof General, simply unpack the sources with <tt>tar -xpzf ProofGeneral-2.1.tar.gz</tt> </blockquote> <p> -(use <tt>gunzip</tt> in place of -z if you don't have GNU tar),<br> +(use <tt>gunzip</tt> first in place of -z if you don't have GNU tar),<br> and then add this one line to your .emacs file: </p> <blockquote> |