changeset 64145 | 69d5509768a9 |
parent 63899 | dc036b1a2a6f |
child 64202 | 967515846691 |
--- a/Admin/Release/CHECKLIST Tue Oct 11 14:23:43 2016 +0200 +++ b/Admin/Release/CHECKLIST Tue Oct 11 14:28:54 2016 +0200 @@ -76,9 +76,9 @@ - Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove); -- fully-automated packaging: +- fully-automated packaging (e.g. on macbroy2): - hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist + hg up -r DISTNAME && Admin/Release/build -M macbroy30 -O -l -r DISTNAME /home/isabelle/dist Final release stage