# HG changeset patch
# User wenzelm
# Date 1553367003 -3600
# Node ID 70dc3c4e946902b38d03ecc7561575c511d7a7d0
# Parent  e3217c6d6467790b064327c0799a8b95dc9eed54
proper latex setup;

diff -r e3217c6d6467 -r 70dc3c4e9469 src/Pure/Tools/build_docker.scala
--- a/src/Pure/Tools/build_docker.scala	Sat Mar 23 17:10:53 2019 +0100
+++ b/src/Pure/Tools/build_docker.scala	Sat Mar 23 19:50:03 2019 +0100
@@ -19,7 +19,8 @@
 
   val package_collections: Map[String, List[String]] =
     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
-      "latex" -> List("texlive-fonts-extra", "texlive-latex-extra", "texlive-math-extra"))
+      "latex" ->
+        List("texlive-fonts-extra", "texlive-font-utils", "texlive-latex-extra", "texlive-science"))
 
   def build_docker(progress: Progress,
     app_archive: String,
@@ -46,6 +47,7 @@
 SHELL ["/bin/bash", "-c"]
 
 # packages
+ENV DEBIAN_FRONTEND=noninteractive
 RUN apt-get -y update && \
   apt-get install -y """ + Bash.strings(packages ::: more_packages) + """ && \
   apt-get clean