# HG changeset patch
# User wenzelm
# Date 1663503015 -7200
# Node ID 83d465d71fc6287d9736b47d94828044720e1fa8
# Parent  d9380ef29276ec51248dca9ebe6d61118e402c4f
clarified packaging;

diff -r d9380ef29276 -r 83d465d71fc6 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Sep 18 13:39:44 2022 +0200
+++ b/Admin/Release/CHECKLIST	Sun Sep 18 14:10:15 2022 +0200
@@ -70,17 +70,24 @@
 Packaging
 =========
 
-- fully-automated packaging (e.g. on lxcisa0):
+- regular packaging:
+
+  #on fast Linux machine, with access to Linux + Windows build_host
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux,windows -l
 
-  hg up -r DISTNAME
-  Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220917.tar.gz
+  #with access Apple ARM build_host
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p macos
 
-  #no naproche for arm64-linux
-  Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm
+  #with access Linux ARM build_host
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux_arm
 
 - Docker image:
 
   isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz
+  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz
+
+  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM Isabelle2022_linux_arm.tar.gz
+  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM_X11_Latex -P X11 -P latex Isabelle2022_linux_arm.tar.gz
 
   docker login