From 296de38e40b8e6528f0f1adc621c8b99595fc65e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Oct 1999 15:54:06 +0000
Subject: Wording

---
 html/download.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

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>
-- 
cgit v1.2.3