author | wenzelm |
Tue, 01 Nov 2016 00:54:03 +0100 | |
changeset 64436 | 254c9411fc48 |
parent 64435 | c93b0e6131c3 |
child 64437 | dba2ca0e0a53 |
--- a/Admin/Release/CHECKLIST Tue Nov 01 00:44:24 2016 +0100 +++ b/Admin/Release/CHECKLIST Tue Nov 01 00:54:03 2016 +0100 @@ -73,7 +73,7 @@ - Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove); -- fully-automated packaging (e.g. on macbroy2): +- fully-automated packaging (e.g. on lxbroy10 or macbroy2): hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist