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.
update paths at TUM;
authorwenzelm
Mon, 01 Nov 2021 22:33:28 +0100
changeset 74653 cfe295b2e6e5
parent 74652 72d2ef5ee128
child 74654 b67d1d72516b
update paths at TUM;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Mon Nov 01 16:07:03 2021 +0100
+++ b/Admin/Release/CHECKLIST	Mon Nov 01 22:33:28 2021 +0100
@@ -73,7 +73,7 @@
 
 - fully-automated packaging (e.g. on lxcisa0):
 
-  hg up -r DISTNAME && Admin/build_release -J .../java11 -D /home/isabelle/dist -b HOL -l -R DISTNAME
+  hg up -r DISTNAME && Admin/build_release -J .../java11 -D /p/home/isabelle/dist -b HOL -l -R DISTNAME
 
 - Docker image:
 
@@ -95,4 +95,4 @@
 
 - update Admin/Release/official
 
-- update /home/isabelle and /home/isabelle/html-data
+- update /p/home/isabelle and /p/home/isabelle/html-data
isabelle