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