diff --git a/src/test/docker/Dockerfile b/src/test/docker/Dockerfile index ec670b7d4b43709054e9794f501aea111a059a0a..1752f88c159a1d6d950b30c7bf6dac32c8823b06 100644 --- a/src/test/docker/Dockerfile +++ b/src/test/docker/Dockerfile @@ -4,7 +4,7 @@ RUN apt-get update && \ git make mariadb-server maven openjdk-11-jdk-headless \ plantuml \ python3-pip screen libpam0g-dev unzip curl shunit2 \ - python3-sphinx \ + python3-sphinx RUN pip3 install javasphinx recommonmark sphinx-rtd-theme sphinxcontrib-plantuml sphinx-a4doc