changeset 50899 | 506ff6abfde0 |
parent 50864 | e932198be619 |
child 50957 | 1005346154e8 |
--- a/Admin/Release/CHECKLIST Mon Jan 14 23:08:40 2013 +0100 +++ b/Admin/Release/CHECKLIST Tue Jan 15 12:30:23 2013 +0100 @@ -53,11 +53,7 @@ Packaging ========= -- hg up -r DISTNAME && isabelle makedist -r DISTNAME - -- isabelle makedist_bundles - -- ./makedist_library DISTNAME_linux.tar.gz +- hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist - Mac OS X: hdiutil create -srcfolder DIR DMG