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