Admin/Release/CHECKLIST
changeset 50799 5a2f5834ccb4
parent 50784 cbc7002cc273
child 50802 7a7e8958b6ef
--- 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