--- a/Admin/Release/CHECKLIST Sun Jan 13 20:30:33 2013 +0100
+++ b/Admin/Release/CHECKLIST Sun Jan 13 20:59:59 2013 +0100
@@ -53,16 +53,16 @@
Packaging
=========
-- hg up -r DISTNAME && isabelle makedist -r DISTNAME;
+- hg up -r DISTNAME && isabelle makedist -r DISTNAME
+
+- isabelle makedist_bundles
-- isabelle makedist_bundles;
+- ./makedist_library DISTNAME_linux.tar.gz
-- Mac OS X: hdiutil create -srcfolder DIR DMG;
+- Mac OS X: hdiutil create -srcfolder DIR DMG
- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
-- makebin -l on fast machine, based on renamed bundle with deleted heaps;
-
Final release stage
===================