# HG changeset patch
# User wenzelm
# Date 1617297283 -7200
# Node ID 89cf7c903acad179e40c10f2f6643d3c21448f47
# Parent  cf1a1e92bf347da4805253faf91a5139b13f4327
clarified README;
avoid odd patching of sources;

diff -r cf1a1e92bf34 -r 89cf7c903aca README
--- a/README	Thu Apr 01 19:07:06 2021 +0200
+++ b/README	Thu Apr 01 19:14:43 2021 +0200
@@ -1,13 +1,13 @@
 The Isabelle System Distribution
 ================================
 
-Version information
--------------------
+See the NEWS file in the distribution for details on user-relevant
+changes.  The ANNOUNCE file recounts notable changes for the latest
+official release.
 
-This is some repository version of Isabelle.
-
-See the NEWS file in the distribution for details on user-relevant
-changes.
+The core of Isabelle is subject to a 3-clause BSD license, but add-on
+components have their own license schemes (similar to a Linux
+distribution).
 
 
 Installation
diff -r cf1a1e92bf34 -r 89cf7c903aca src/Pure/Admin/build_release.scala
--- 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)