# HG changeset patch
# User wenzelm
# Date 1357767501 -3600
# Node ID 5a2f5834ccb41b35dcc127755163f7f4a7a45af4
# Parent  0ddc85dae1d541b31a1e2b84b9b9dd533e263d10
minor update;

diff -r 0ddc85dae1d5 -r 5a2f5834ccb4 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Jan 09 22:29:13 2013 +0100
+++ b/Admin/Release/CHECKLIST	Wed Jan 09 22:38:21 2013 +0100
@@ -53,9 +53,7 @@
 
 - hg up -r DISTNAME && isabelle makedist -r DISTNAME;
 
-- makebin (multiplatform);
-
-- makebundle (multiplatform);
+- isabelle makedist_bundles;
 
 - Mac OS X: hdiutil create -srcfolder DIR DMG;
 
@@ -67,8 +65,6 @@
 Final release stage
 ===================
 
-- makedist: REPOS_NAME="isabelle-release"
-
 - various .hg/hgrc files:
   default = /home/isabelle-repository/repos/isabelle-release