changeset 73519 | 8f485a199874 |
parent 73478 | 1be70e3de751 |
child 73607 | fc13738e1933 |
--- a/Admin/Release/CHECKLIST Wed Mar 31 12:02:52 2021 +0200 +++ b/Admin/Release/CHECKLIST Wed Mar 31 17:15:54 2021 +0200 @@ -74,7 +74,7 @@ - fully-automated packaging (e.g. on lxcisa0): - hg up -r DISTNAME && Admin/build_release -b HOL -l -O -R DISTNAME /home/isabelle/dist + hg up -r DISTNAME && Admin/build_release -b HOL -l -R DISTNAME /home/isabelle/dist - Docker image: