diff options
| author | David Aspinall | 2002-08-31 13:34:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 13:34:06 +0000 |
| commit | a8f40617f17585d9f21ae3af6678dedb7119d593 (patch) | |
| tree | 0b0f404b4fbdb461435f53a958d4c19ee7a80cf0 /html | |
| parent | 31193acaa994d4c4d576668c83cd5e372e878a59 (diff) | |
Fix typo.
Diffstat (limited to '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 b8d9607d..f7b57577 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 the tar file with <tt>rpm -ta</tt>.</td> +<br>NB: to build yourself use the tar file with <tt>rpm -ta</tt>.</td> </tr> <tr> <td>individual files</td> |