clarified README;
authorwenzelm
Thu, 01 Apr 2021 19:14:43 +0200
changeset 73785 89cf7c903aca
parent 73784 cf1a1e92bf34
child 73787 5fa2e2786ecf
clarified README; avoid odd patching of sources;
README
src/Pure/Admin/build_release.scala
--- 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
--- 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)