Add missing dependency to sphinx image

MiniZinc · Oct 21, 2023 · 4ca747c · 4ca747c
1 parent c3e120b
commit 4ca747c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Dockerfile.sphinx b/Dockerfile.sphinx
@@ -18,5 +18,6 @@ RUN apt-get update && \
         texlive-latex-extra \
         texlive-latex-recommended \
         texlive-xetex \
-        tzdata && \
+        tzdata \
+        xindy && \
     pip3 install six sphinx_rtd_theme