From 702884590ac87baa076887a4b12fa59ca01424b1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Feb 2000 19:35:13 +0000
Subject: Fixup tar options

---
 html/download.phtml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'html')

diff --git a/html/download.phtml b/html/download.phtml
index 49a4c025..3078bff5 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -163,11 +163,11 @@ there, please
 To use Proof General, simply unpack the sources with 
 </p>
  <blockquote>
-   <tt>tar -xpzf ProofGeneral-3.0.tar.gz</tt>
+   <tt>tar xpzf ProofGeneral-3.0.tar.gz</tt>
  </blockquote>
 <p>
-(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:
+(use <tt>gunzip</tt> first in place of <tt>z</tt> if you don't have
+GNU tar),<br> and then add this one line to your .emacs file:
 </p>
  <blockquote>
   <tt> (load-file "<var>directory</var>/generic/proof-site.el")</tt>
@@ -209,5 +209,5 @@ like this to install in your home directory:
 <blockquote><tt>
  mkdir -p ~/.xemacs<br>
  cd ~/.xemacs<br>
- tar xzf ../x-symbol-pkg.tar.gz<br>
+ tar xpzf ../x-symbol-pkg.tar.gz<br>
 </tt></blockquote>
-- 
cgit v1.2.3