# HG changeset patch
# User wenzelm
# Date 1554318681 -7200
# Node ID c37525278ae2ab61cd7093eb58927098410e06de
# Parent  3374d16efc61156c9ea7d9aed08dd6c5e54e50e5
proper URL;

diff -r 3374d16efc61 -r c37525278ae2 src/Pure/Admin/build_release.scala
--- 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)),