--- a/src/Pure/Admin/build_release.scala Thu Jul 15 18:18:07 2021 +0200
+++ b/src/Pure/Admin/build_release.scala Thu Jul 15 18:29:34 2021 +0200
@@ -557,8 +557,6 @@
val more_components_names =
more_components.map(Components.unpack(contrib_dir, _, progress = progress))
- Components.purge(contrib_dir, platform)
-
activate_components(isabelle_target, platform, more_components_names)
@@ -608,6 +606,8 @@
// application bundling
+ Components.purge(contrib_dir, platform)
+
platform match {
case Platform.Family.linux_arm | Platform.Family.linux =>
File.change(isabelle_target + jedit_options,