From 22f03463e74f9e4e46622200c7a2e308d8c5b597 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 13:43:22 +0000
Subject: Use tarfile

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

(limited to 'html')

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