--- a/src/Pure/Admin/build_release.scala Thu Apr 01 19:07:06 2021 +0200
+++ b/src/Pure/Admin/build_release.scala Thu Apr 01 19:14:43 2021 +0200
@@ -53,17 +53,6 @@
/** generated content **/
- /* patch release */
-
- def patch_release(release: Release): Unit =
- {
- val dir = release.isabelle_dir
-
- File.change(dir + Path.explode("README"),
- _.replace("some repository version of Isabelle", release.dist_version))
- }
-
-
/* ANNOUNCE */
def make_announce(release: Release): Unit =
@@ -432,8 +421,6 @@
File.write(release.isabelle_tags, release.tags)
File.write(release.isabelle_identifier, release.dist_name)
- patch_release(release)
-
if (proper_release_name.isEmpty) make_announce(release)
make_contrib(release.isabelle_dir)