# HG changeset patch
# User wenzelm
# Date 1477958043 -3600
# Node ID 254c9411fc4859bfdf4ec7b69e28a0a0d91eab14
# Parent  c93b0e6131c3330d124f2826ed8a35db70f600b8
build_release on lxbroy10 appears to work, including latex and remote_dmg;

diff -r c93b0e6131c3 -r 254c9411fc48 Admin/Release/CHECKLIST
--- 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