--- a/Admin/Release/CHECKLIST Tue Jul 01 15:19:05 2014 +0200
+++ b/Admin/Release/CHECKLIST Tue Jul 01 15:19:43 2014 +0200
@@ -26,7 +26,7 @@
- check funny base directory, e.g. "Test 中国";
-- check scalable fonts, e.g. src/Doc/ProgProve (NOTE: T1 encoding
+- check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding
requires cm-super fonts, which are usually available on MacTeX or
Cygwin, but not on Ubuntu/Debian);
@@ -68,7 +68,7 @@
Packaging
=========
-- fully-automated packaging (requires Mac OS X with gnutar):
+- fully-automated packaging (requires Mac OS X with gnutar, avoid Mavericks):
hg up -r DISTNAME && Admin/Release/build -l -r DISTNAME /home/isabelle/dist