--- a/Admin/Release/CHECKLIST Fri Sep 16 16:15:11 2016 +0200
+++ b/Admin/Release/CHECKLIST Fri Sep 16 17:12:39 2016 +0200
@@ -69,11 +69,14 @@
Packaging
=========
+- Mac OS X: provide "gnutar" executable via shell PATH
+ (e.g. copy of /usr/bin/gnutar from Mountain Lion)
+
- 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?)
+ Mac OS X: avoid Mavericks (problems with hdiutil?)
Linux: avoid Debian (bitmap fonts for prog-prove)