# HG changeset patch
# User wenzelm
# Date 1406290599 -7200
# Node ID aabfd69ab7545aea2fe683210040a22125a22926
# Parent  ba206aa2ad3923ecb0aaf6f442d02f48a910699d
tuned;

diff -r ba206aa2ad39 -r aabfd69ab754 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