--- a/Admin/Release/CHECKLIST Tue Apr 26 22:44:31 2016 +0200
+++ b/Admin/Release/CHECKLIST Tue Apr 26 22:59:03 2016 +0200
@@ -69,10 +69,13 @@
Packaging
=========
-- fully-automated packaging (requires Mac OS X with gnutar, avoid Mavericks):
+- fully-automated packaging:
hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist
+ Mac OS X: requires gnutar, avoid Mavericks (problems with hdiutil?)
+ Linux: avoid Debian (bitmap fonts for prog-prove)
+
Final release stage
===================