# HG changeset patch
# User wenzelm
# Date 1633199948 -7200
# Node ID 61a6fd4f986254c0d1284662063166f46f82e843
# Parent  f63dea123304a09c66cf27a3436df1821f578729
misc tuning for release;

diff -r f63dea123304 -r 61a6fd4f9862 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Oct 02 20:38:50 2021 +0200
+++ b/Admin/Release/CHECKLIST	Sat Oct 02 20:39:08 2021 +0200
@@ -32,8 +32,8 @@
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
 
 - check versions:
-    src/Tools/jEdit/src/Isabelle.props
-    src/Tools/jEdit/src-base/Isabelle_Base.props
+    src/Tools/jEdit/jedit_base/plugin.props
+    src/Tools/jEdit/jedit_main/plugin.props
 
 - check Isabelle version:
     src/Tools/VSCode/extension/README.md
@@ -71,20 +71,17 @@
 Packaging
 =========
 
-- macOS: provide "gnutar" executable via shell PATH
-  (e.g. copy of /usr/bin/gnutar from Mountain Lion)
-
 - fully-automated packaging (e.g. on lxcisa0):
 
-  hg up -r DISTNAME && Admin/build_release -D /home/isabelle/dist -b HOL -l -R DISTNAME
+  hg up -r DISTNAME && Admin/build_release -J .../java11 -D /home/isabelle/dist -b HOL -l -R DISTNAME
 
 - Docker image:
 
-  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2021 Isabelle2021_linux.tar.gz
+  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2021-1 Isabelle2021-1_linux.tar.gz
 
   docker login
 
-  docker push makarius/isabelle:Isabelle2021
+  docker push makarius/isabelle:Isabelle2021-1
 
   docker tag ... latest
   docker push makarius/isabelle:latest