# HG changeset patch
# User wenzelm
# Date 1544366798 -3600
# Node ID e18e4532fb429af322fd70c0b3d1588a1943a4ef
# Parent  b93404a4c3dd7f13131137dbda56350ece5a05b8
clarified example: avoid unpacking into /home/isabelle/components at TUM;

diff -r b93404a4c3dd -r e18e4532fb42 Admin/Release/CHECKLIST
--- 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: