diff options
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") ?>. |