Add link to individual files

1 files changed, 4 insertions, 0 deletions

diff --git a/html/develdownload.php b/html/develdownload.php
index 4476d395..f1549ea5 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -73,6 +73,10 @@ notes about work-in-progress.
 <td>RPM package </td>
 <td><?php download_link("ProofGeneral-3.3pre010810-1.noarch.rpm") ?></td>
 </tr>
+<tr>
+<td>individual files</td>
+<td><a href="ProofGeneral">http access to files in development release</a>
+</tr>
 </table>
 <!-- End Warning. -->
 <p>