changeset 70046 | c37525278ae2 |
parent 69873 | 6ebe97815275 |
child 70098 | 956d2430cb29 |
--- a/src/Pure/Admin/build_release.scala Wed Apr 03 00:07:26 2019 +0200 +++ b/src/Pure/Admin/build_release.scala Wed Apr 03 21:11:21 2019 +0200 @@ -653,7 +653,7 @@ } yield (bundle_info.name, bundle_info) val afp_link = - HTML.link(AFP.repos_source + "/commits/" + afp_rev, HTML.text("AFP/" + afp_rev)) + HTML.link(AFP.repos_source + "/rev/" + afp_rev, HTML.text("AFP/" + afp_rev)) HTML.write_document(dir, "index.html", List(HTML.title(release.dist_name)),