From 907cfcf1b43e42c074743c78c8c2540eef0a984b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 16:04:20 +0000
Subject: Fixed link to devel RPM.

---
 html/download.phtml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/download.phtml b/html/download.phtml
index 71b24dd9..adce6a02 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -101,16 +101,17 @@ Check the
 
 file for a summary of changes since the last stable version.
 <br>
-Please make test with the latest pre-release before reporting any problems
+Please test with the latest pre-release before reporting any problems
 in a pre-release.
 </p>
+
 <ul>
 <!-- WARNING!  Lines below automatically edited by makefile. -->
   <li> gzip'ed tar file: 
       <?php download_link("ProofGeneral-2.1pre990628.tar.gz") ?>
   </li>
   <li> Linux RPM package 
-      <?php download_link("ProofGeneral-2.1pre990628.noarch.rpm") ?>
+      <?php download_link("ProofGeneral-2.1pre990628-1.noarch.rpm") ?>
      <br>
      The source RPM is 
       <?php download_link("ProofGeneral-2.1pre990628-1.src.rpm","here") ?>.
-- 
cgit v1.2.3