--- a/Admin/Release/CHECKLIST Mon Jul 02 16:43:06 2018 +0200
+++ b/Admin/Release/CHECKLIST Mon Jul 02 16:48:00 2018 +0200
@@ -33,9 +33,8 @@
- check funny base directory, e.g. "Test 中国";
-- 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);
+- check scalable fonts, e.g. src/Doc/Prog_Prove
+ (NOTE: T1 encoding requires cm-super fonts);
- diff NEWS wrt. last official release, which is read-only;
@@ -78,9 +77,7 @@
- Mac OS X: provide "gnutar" executable via shell PATH
(e.g. copy of /usr/bin/gnutar from Mountain Lion)
-- Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove);
-
-- fully-automated packaging (e.g. on lxbroy10 or macbroy2):
+- fully-automated packaging (e.g. on lxbroy10):
hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist