diff options
| author | David Aspinall | 1999-12-03 18:23:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-12-03 18:23:56 +0000 |
| commit | 314bdc07e57951b353a59c5a111915bce13285f7 (patch) | |
| tree | 1647ee8b104c5f316681ae0013a264ceb5311725 /html | |
| parent | e5a6f906f14495e2518759858310c411e5063c68 (diff) | |
Fix link to SRPM.
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
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> |