# HG changeset patch
# User wenzelm
# Date 1666789331 -7200
# Node ID c0566b6f6ca8bb8a196eaf53b6c461973c0e4804
# Parent  089e546f671f2182e2dc95e8d20a9b5ed6a2841f
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;

diff -r 089e546f671f -r c0566b6f6ca8 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Oct 26 00:30:50 2022 +0200
+++ b/Admin/Release/CHECKLIST	Wed Oct 26 15:02:11 2022 +0200
@@ -72,14 +72,17 @@
 
 - regular packaging:
 
+  #source archive
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p ""
+
   #on fast Linux machine, with access to Linux + Windows build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux,windows -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux,windows -l
 
   #with access Apple ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p macos
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p macos
 
   #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux_arm
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux_arm
 
 - Docker image:
 
diff -r 089e546f671f -r c0566b6f6ca8 Admin/components/bundled
--- a/Admin/components/bundled	Wed Oct 26 00:30:50 2022 +0200
+++ b/Admin/components/bundled	Wed Oct 26 15:02:11 2022 +0200
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-
+naproche-20221024