proper link;
authorwenzelm
Fri, 14 Oct 2016 20:07:22 +0200
changeset 64212 104627db03ac
parent 64211 1306a0e7fe81
child 64213 b265dd04d57d
proper link;
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>