diff --git a/documentation/Dockerfile b/documentation/Dockerfile index eac5810c..4ae1a2a8 100644 --- a/documentation/Dockerfile +++ b/documentation/Dockerfile @@ -3,5 +3,6 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y python3- python3-pip texlive-fonts-recommended latexmk \ texlive-latex-extra texlive-latex-recommended make php-cli php-xml composer \ texlive-xetex texlive-fonts-extra-links texlive-fonts-extra \ - nodejs npm libgbm1 libasound2 wget + nodejs npm libgbm1 libasound2 wget python3-sphinx python3-sphinx-rtd-theme \ + && python3 -m pip install sphinx-rtd-dark-mode