Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Fri Jul 25 14:15:02 2014 +0200
+++ b/Admin/Release/CHECKLIST	Fri Jul 25 14:16:39 2014 +0200
@@ -72,7 +72,7 @@
 
 - fully-automated packaging (requires Mac OS X with gnutar, avoid Mavericks):
 
-  hg up -r DISTNAME && Admin/Release/build -l -r DISTNAME /home/isabelle/dist
+  hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist
 
 
 Final release stage