diff 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> |