From 314bdc07e57951b353a59c5a111915bce13285f7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 3 Dec 1999 18:23:56 +0000
Subject: Fix link to SRPM.

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

(limited to 'html')

diff --git a/html/download.phtml b/html/download.phtml
index 8f2206de..a44cfa20 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -107,7 +107,7 @@ Proof General is available in two formats:
       <?php download_link("ProofGeneral-3.0-1.noarch.rpm") ?>
      <br>
      You probably don't need the 
-      <?php download_link("ProofGeneral-3.0-1.noarch.rpm",
+      <?php download_link("ProofGeneral-3.0-1.src.rpm",
 	"source RPM") ?>.
  </li>
 </ul>
-- 
cgit v1.2.3