diff --git a/sphinx/Dockerfile b/sphinx/Dockerfile index fc98ac3..97086ec 100644 --- a/sphinx/Dockerfile +++ b/sphinx/Dockerfile @@ -1,20 +1,21 @@ ARG REGISTRY=swh-jenkins FROM $REGISTRY/base USER root RUN DEBIAN_FRONTEND=noninteractive apt-get update && \ apt-get install -y --no-install-recommends \ crudini \ dia \ graphviz \ inkscape \ libffi-dev \ + maven \ make \ myrepos \ plantuml \ postgresql-autodoc \ rsync \ tox \ && rm -rf /var/lib/apt/lists/* USER jenkins