diff -r 10fc8a648250 -r d072f3287ffa Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sat Dec 08 23:50:56 2018 +0100
+++ b/Admin/Release/CHECKLIST	Sat Dec 08 23:53:43 2018 +0100
@@ -86,7 +86,7 @@
 
 - fully-automated packaging (e.g. on lxbroy10):
 
-  hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
+  hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME /home/isabelle/dist
 
 - Docker image: