1.1 --- a/Admin/Release/CHECKLIST	Sun Jan 13 20:30:33 2013 +0100
     1.2 +++ b/Admin/Release/CHECKLIST	Sun Jan 13 20:59:59 2013 +0100
     1.3 @@ -53,16 +53,16 @@
     1.4  Packaging
     1.5  =========
     1.6  
     1.7 -- hg up -r DISTNAME && isabelle makedist -r DISTNAME;
     1.8 +- hg up -r DISTNAME && isabelle makedist -r DISTNAME
     1.9  
    1.10 -- isabelle makedist_bundles;
    1.11 +- isabelle makedist_bundles
    1.12  
    1.13 -- Mac OS X: hdiutil create -srcfolder DIR DMG;
    1.14 +- ./makedist_library DISTNAME_linux.tar.gz
    1.15 +
    1.16 +- Mac OS X: hdiutil create -srcfolder DIR DMG
    1.17  
    1.18  - Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
    1.19  
    1.20 -- makebin -l on fast machine, based on renamed bundle with deleted heaps;
    1.21 -
    1.22  
    1.23  Final release stage
    1.24  ===================