diff options
| author | David Aspinall | 2000-03-23 16:39:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-23 16:39:26 +0000 |
| commit | 0850eac560860d99403be8367e565e30ceaf22d8 (patch) | |
| tree | e6f5d4c2d60db924e0edfc1eb7eca1a914fca7fd /html | |
| parent | 5d88695801e3c7db8c8dcc829f1bcbdc51809b2f (diff) | |
Added link for zip file
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.phtml | 4 |
1 files changed, 3 insertions, 1 deletions
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") ?> |