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