improve download page a bit
diff --git a/releng.wtpbuilder/distribution/patches312.site/templateFiles/index.html.template.php b/releng.wtpbuilder/distribution/patches312.site/templateFiles/index.html.template.php
index 75ca8c2..dc0a77f 100644
--- a/releng.wtpbuilder/distribution/patches312.site/templateFiles/index.html.template.php
+++ b/releng.wtpbuilder/distribution/patches312.site/templateFiles/index.html.template.php
@@ -516,7 +516,20 @@
?>
</tr>
-
+ <tr valign="middle">
+ <td colspan="3">
+ <hr />
+ </td>
+ </tr>
+ <tr valign="top">
+ <td width="10%"></td>
+ <td><?php echo "$wtpName $wtpDescription" ?></td>
+ <td align="right"><?php
+ echo getPrereqReferenceOrName($eclipseMirrorScript, $wtpMirrorPrefixuri, $wtpURL, $wtpFile, $eclipseFSpathPrefix);
+ echo " or <a href=\"" . $wtpBuildHome . "\">equivalent</a></td>";
+ ?>
+
+ </tr>
</table>
</td>
</tr>