# HG changeset patch
# User wenzelm
# Date 1741775940 -3600
# Node ID 4b875a4c83b0696d326e598069b3b8dafcf511c8
# Parent  756e88885a7c5f476dee3467be97fc58f4aaef13
update for release;

diff -r 756e88885a7c -r 4b875a4c83b0 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Mar 12 11:22:08 2025 +0100
+++ b/Admin/Release/CHECKLIST	Wed Mar 12 11:39:00 2025 +0100
@@ -59,7 +59,7 @@
 
 - Windows: check recent MiKTeX;
 
-- Phabricator:
+- Phorge:
     . src/Doc/System/Phabricator.thy: check/update underlying Ubuntu version
     . etc/options: check/update phabricator_version entries;
 
@@ -80,7 +80,7 @@
 - regular packaging:
 
   #on fast Linux machine, with access to build_host for each platform
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2025 -j2 -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2025 -j2 -l -F -L
 
 - Docker image: