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
 ===================