diff options
| author | David Aspinall | 2000-02-17 19:35:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-02-17 19:35:13 +0000 |
| commit | 702884590ac87baa076887a4b12fa59ca01424b1 (patch) | |
| tree | 1196a2646c3ff8a1d4c47e20544721baffc6f6c3 /html | |
| parent | 8eabf3d0a47fce08eb1c33e43da3038a8631e33e (diff) | |
Fixup tar options
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 8 |
1 files changed, 4 insertions, 4 deletions
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> |