diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 13:43:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 13:43:22 +0000 |
commit | 22f03463e74f9e4e46622200c7a2e308d8c5b597 (patch) | |
tree | df773b827237b0568683bc00f06dd53027b48d81 | |
parent | 739e6fafabda2e8715257b39ac1c5a1b26cd0dcc (diff) |
Use tarfile
-rw-r--r-- | html/download.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/download.html b/html/download.html index c4c55740..b8d9607d 100644 --- a/html/download.html +++ b/html/download.html @@ -60,7 +60,7 @@ Proof General is available as an archive and an RPM package. <tr> <td>RPM package </td> <td><?php download_link("ProofGeneral-3.4-1.noarch.rpm") ?> -<br>NB: to buld yourself use tarball and <tt>rpm -ta</tt>.</td> +<br>NB: to buld yourself use the tar file with <tt>rpm -ta</tt>.</td> </tr> <tr> <td>individual files</td> |