From 0850eac560860d99403be8367e565e30ceaf22d8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 16:39:26 +0000
Subject: Added link for zip file

---
 html/develdownload.phtml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index a4e3705c..01401dab 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -34,7 +34,9 @@ the planned changes to come.
 <ul>
 <!-- WARNING!  Lines below automatically edited by makefile. -->
   <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-3.1pre000322.tar.gz") ?>
+      <?php download_link("ProofGeneral-3.1pre000322.tar.gz") ?>,
+      or the same thing in a zip file:
+      <?php download_link("ProofGeneral-3.1pre000322.zip") ?>,
   </li>
   <li> Linux RPM package 
       <?php download_link("ProofGeneral-3.1pre000322-1.noarch.rpm") ?>
-- 
cgit v1.2.3