author | wenzelm |
Wed, 03 Apr 2019 21:11:21 +0200 | |
changeset 70046 | c37525278ae2 |
parent 70038 | 3374d16efc61 |
child 70047 | 96fe857a7a6f |
--- 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)),