Fix missing fonts in sphinx image

MiniZinc · Oct 23, 2023 · 13a0ec0 · 13a0ec0
1 parent 4ca747c
commit 13a0ec0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Dockerfile.sphinx b/Dockerfile.sphinx
@@ -20,4 +20,6 @@ RUN apt-get update && \
         texlive-xetex \
         tzdata \
         xindy && \
-    pip3 install six sphinx_rtd_theme
+    pip3 install six sphinx_rtd_theme && \
+    echo "<?xml version='1.0'?><!DOCTYPE fontconfig SYSTEM 'fonts.dtd'><fontconfig><dir>/usr/share/texlive/texmf-dist/fonts/opentype</dir></fontconfig>" > /etc/fonts/conf.d/09-texlive-fonts-extra.conf && \
+    fc-cache