diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-28 16:04:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-28 16:04:20 +0000 |
| commit | 907cfcf1b43e42c074743c78c8c2540eef0a984b (patch) | |
| tree | 4be82f59816cf445edbc103101fff4436c7602ae /html | |
| parent | 900e3f8add7218d97965d6802fe8b88f81a91625 (diff) | |
Fixed link to devel RPM.
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 5 |
1 files changed, 3 insertions, 2 deletions
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") ?>. |