From a8f40617f17585d9f21ae3af6678dedb7119d593 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 31 Aug 2002 13:34:06 +0000
Subject: Fix typo.

---
 html/download.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
cgit v1.2.3