Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified example: avoid unpacking into /home/isabelle/components at TUM;
authorwenzelm
Sun, 09 Dec 2018 15:46:38 +0100
changeset 69435 e18e4532fb42
parent 69434 b93404a4c3dd
child 69436 1b406949981f
clarified example: avoid unpacking into /home/isabelle/components at TUM;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- 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:
isabelle