# HG changeset patch
# User wenzelm
# Date 1635802408 -3600
# Node ID cfe295b2e6e5ae83f16217158c2b8eedae58d13b
# Parent  72d2ef5ee1285d4fd4080e23918acab2cd622f6d
update paths at TUM;

diff -r 72d2ef5ee128 -r cfe295b2e6e5 Admin/Release/CHECKLIST
--- 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