diff options
Diffstat (limited to 'html/download.html')
-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> |