changeset 66854 | e23d73f43fb6 |
parent 66730 | e76850a09a12 |
child 66910 | 20d61ffa9867 |
--- a/src/Pure/Admin/build_release.scala Fri Oct 13 09:01:27 2017 +0200 +++ b/src/Pure/Admin/build_release.scala Fri Oct 13 13:31:56 2017 +0200 @@ -127,8 +127,7 @@ } yield (bundle, bundle_info) val afp_link = - HTML.link("https://bitbucket.org/isa-afp/afp-devel/commits/" + afp_rev, - HTML.text("AFP/" + afp_rev)) + HTML.link(AFP.repos_source + "/commits/" + afp_rev, HTML.text("AFP/" + afp_rev)) HTML.write_document(dir, "index.html", List(HTML.title(release_info.name)),