diff options
Diffstat (limited to 'html')
| -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> |