# HG changeset patch
# User wenzelm
# Date 1507474237 -7200
# Node ID 6b76a5d1b7a569b6fc7578afbe6250cabf9e3d61
# Parent  e51f789f77052aa38ace67361e218060bfc9dd6e
more on Docker;

diff -r e51f789f7705 -r 6b76a5d1b7a5 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Oct 08 15:54:55 2017 +0200
+++ b/Admin/Release/CHECKLIST	Sun Oct 08 16:50:37 2017 +0200
@@ -82,6 +82,13 @@
 
   hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
 
+- Docker image:
+
+  isabelle build_docker -E -t makarius/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
+
+  https://hub.docker.com/r/makarius/isabelle
+  https://docs.docker.com/docker-cloud/builds/push-images
+
 
 Final release stage
 ===================