changeset 69435 | e18e4532fb42 |
parent 69432 | d072f3287ffa |
child 69691 | 9c6651cd6141 |
--- a/Admin/Release/CHECKLIST Sun Dec 09 12:09:54 2018 +0100 +++ b/Admin/Release/CHECKLIST Sun Dec 09 15:46:38 2018 +0100 @@ -86,7 +86,7 @@ - fully-automated packaging (e.g. on lxbroy10): - hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME /home/isabelle/dist + hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME -C ~/tmp/isadist/contrib /home/isabelle/dist - Docker image: