diff -r 460e7535df46 -r fc13738e1933 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Apr 28 12:24:39 2021 +0200
+++ b/Admin/Release/CHECKLIST	Wed Apr 28 13:03:09 2021 +0200
@@ -74,7 +74,7 @@
 
 - fully-automated packaging (e.g. on lxcisa0):
 
-  hg up -r DISTNAME && Admin/build_release -b HOL -l -R DISTNAME /home/isabelle/dist
+  hg up -r DISTNAME && Admin/build_release -D /home/isabelle/dist -b HOL -l -R DISTNAME
 
 - Docker image: