# HG changeset patch # User wenzelm # Date 1404220783 -7200 # Node ID e302e4bd03450299e1235e75c1d245f0e70f7ae8 # Parent 77d13a98f1c8861b93c1a43d4665fd51fe0cfb3c tuned; diff -r 77d13a98f1c8 -r e302e4bd0345 Admin/Release/CHECKLIST --- 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