# HG changeset patch # User wenzelm # Date 1554217090 -7200 # Node ID 5863d6a8374af4e664cef11a00f347877be11ff3 # Parent 7ba769344550840aa489619e3f5c0226949bcdcd updated for release; diff -r 7ba769344550 -r 5863d6a8374a Admin/Release/CHECKLIST --- a/Admin/Release/CHECKLIST Tue Apr 02 16:55:56 2019 +0200 +++ b/Admin/Release/CHECKLIST Tue Apr 02 16:58:10 2019 +0200 @@ -46,17 +46,13 @@ - check doc/Contents, src/Tools/jEdit/dist/doc/Contents; -- HTML library: check HTML header; - -- HTML library: check theory dependencies (PDF); - - check "Handler catches all exceptions" -- Mac OS X: check app bundle with Retina display; +- Mac OS X: check app bundle with UHD display; - Mac OS X: check recent MacTeX; -- Windows: check dpi scaling with high-definition display; +- Windows: check dpi scaling with UHD display; - Windows: check recent MiKTeX; @@ -77,7 +73,7 @@ - Mac OS X: provide "gnutar" executable via shell PATH (e.g. copy of /usr/bin/gnutar from Mountain Lion) -- fully-automated packaging (e.g. on lxbroy10): +- fully-automated packaging (e.g. on lxcisa0): hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME -C ~/tmp/isadist/contrib /home/isabelle/dist