# HG changeset patch
# User wenzelm
# Date 1476468442 -7200
# Node ID 104627db03aca5ea01aed335d930c9de09b530e7
# Parent  1306a0e7fe81d04b7f1ae7cc5cec57cc4dec3b09
proper link;

diff -r 1306a0e7fe81 -r 104627db03ac src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri Oct 14 20:03:07 2016 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri Oct 14 20:07:22 2016 +0200
@@ -119,7 +119,7 @@
 <ul>
 """ +
   cat_lines(website_platform_bundles.map({ case (a, b) =>
-    "<li><a href=" + quote(HTML.output(a)) + ">" + HTML.output(b) + "</a></li>" })) +
+    "<li><a href=" + quote(HTML.output(b)) + ">" + HTML.output(Word.capitalize(a)) + "</a></li>" })) +
 """
 </ul>
 </body>