--- a/src/Pure/Tools/build_docker.scala Mon Oct 31 11:04:54 2022 +0100
+++ b/src/Pure/Tools/build_docker.scala Mon Oct 31 15:50:13 2022 +0100
@@ -20,7 +20,12 @@
val package_collections: Map[String, List[String]] =
Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),
"latex" ->
- List("texlive-fonts-extra", "texlive-font-utils", "texlive-latex-extra", "texlive-science"))
+ List(
+ "texlive-bibtex-extra",
+ "texlive-fonts-extra",
+ "texlive-font-utils",
+ "texlive-latex-extra",
+ "texlive-science"))
def all_packages: List[String] =
packages ::: package_collections.valuesIterator.flatten.toList