diff -r c3edc64e219d -r 967515846691 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu Oct 13 23:09:26 2016 +0200
+++ b/Admin/Release/CHECKLIST	Thu Oct 13 23:44:40 2016 +0200
@@ -78,7 +78,7 @@
 
 - fully-automated packaging (e.g. on macbroy2):
 
-  hg up -r DISTNAME && Admin/Release/build -M macbroy30 -O -l -r DISTNAME /home/isabelle/dist
+  hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
 
 
 Final release stage