Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Release/CHECKLIST
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:
isabelle