diff -r 3a1edaa0dc6d -r 506ff6abfde0 Admin/Release/CHECKLIST
--- 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