--- 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