# HG changeset patch
# User wenzelm
# Date 1484479188 -3600
# Node ID ad3b66e7a02871c2a5059261399dd3428fa509a1
# Parent  6c6bb62702d4ec89483e650cda4be0ecf618d58a
clarified packages;
tuned message;

diff -r 6c6bb62702d4 -r ad3b66e7a028 src/Pure/Admin/build_docker.scala
--- a/src/Pure/Admin/build_docker.scala	Sat Jan 14 22:28:51 2017 +0100
+++ b/src/Pure/Admin/build_docker.scala	Sun Jan 15 12:19:48 2017 +0100
@@ -15,7 +15,8 @@
     List("less", "lib32stdc++6", "libwww-perl", "rlwrap", "unzip")
 
   private val package_collections =
-    Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"))
+    Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
+      "latex" -> List("texlive-fonts-extra", "texlive-latex-extra", "texlive-math-extra"))
 
   def build_docker(progress: Progress,
     app_archive: Path,
@@ -94,7 +95,7 @@
 
   Options are:
     -P NAME      additional Ubuntu package collection (""" +
-          package_collections.keySet.toList.sorted.mkString(", ") + """)
+          package_collections.keySet.toList.sorted.map(quote(_)).mkString(", ") + """)
     -l NAME      default logic (default ISABELLE_LOGIC=""" + quote(default_logic) + """)
     -o FILE      output generated Dockerfile
     -p NAME      additional Ubuntu package
@@ -104,7 +105,9 @@
   Build Isabelle docker image with default logic image, using a standard
   Isabelle application archive for Linux.
 
-  The remaining DOCKER_ARGS are passed directly to "docker build".
+  Example:
+
+    isabelle build_docker -t isabelle/Isabelle2016-1 Isabelle2016-1_app.tar.gz
 """,
           "P:" -> (arg =>
             package_collections.get(arg) match {