diff options
Diffstat (limited to 'util/docker/doc.coreboot.org')
| -rw-r--r-- | util/docker/doc.coreboot.org/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker/doc.coreboot.org/Dockerfile b/util/docker/doc.coreboot.org/Dockerfile index 27966ac80d..72b699fbdd 100644 --- a/util/docker/doc.coreboot.org/Dockerfile +++ b/util/docker/doc.coreboot.org/Dockerfile @@ -1,5 +1,5 @@ FROM debian:stable -RUN apt-get update && apt-get install -y make python-sphinx python-recommonmark python-sphinx-rtd-theme && apt-get clean +RUN apt-get update && apt-get install -y make python-sphinx python-recommonmark python-sphinx-rtd-theme git && apt-get clean USER nobody VOLUME /data-in /data-out ENTRYPOINT bash -c "cd /data-in/Documentation && make sphinx BUILDDIR=/tmp/build && rm -rf /data-out/* && mv /tmp/build/html/* /data-out/" |