| changeset 52677 | 2b446d507296 |
| parent 52441 | ffc3f1659a25 |
| child 53416 | 3a67ed19b755 |
--- a/Admin/Release/CHECKLIST Tue Jul 16 14:46:03 2013 +0200 +++ b/Admin/Release/CHECKLIST Tue Jul 16 18:28:45 2013 +0200 @@ -50,9 +50,9 @@ Packaging ========= -- hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist +- fully-automated packaging (requires Mac OS X): -- manual packaging of .app (Mac OS) and .exe (Windows) + hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist Final release stage