--- a/Admin/Release/CHECKLIST Wed Aug 29 21:01:05 2012 +0200
+++ b/Admin/Release/CHECKLIST Wed Aug 29 21:20:46 2012 +0200
@@ -46,7 +46,7 @@
Packaging
=========
-- makedist -j jedit_build-XXXX -r DISTNAME
+- hg up -r DISTNAME && isabelle makedist -r DISTNAME;
- makebin (multiplatform);