summaryrefslogtreecommitdiff
path: root/util/docker
diff options
context:
space:
mode:
authorPatrick Georgi <patrick@georgi.software>2018-06-06 17:02:24 +0200
committerPatrick Georgi <pgeorgi@google.com>2018-06-07 15:10:25 +0000
commitc57eeb9c8c0f56165c8907ea7b9ae97f0a79b663 (patch)
tree0ed10f99f746dde3462ff51e024b5e72a1e68522 /util/docker
parent9101608e85998073dc0eb2e1238b6b113e8f65f2 (diff)
downloadcoreboot-c57eeb9c8c0f56165c8907ea7b9ae97f0a79b663.tar.xz
util/docker/doc.coreboot.org: Add git to the image
Required to get a current version string onto doc.coreboot.org Change-Id: Iac54c4be2d4e783b7bf9ed529a431e72c67abab7 Signed-off-by: Patrick Georgi <patrick@georgi.software> Reviewed-on: https://review.coreboot.org/26896 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Diffstat (limited to 'util/docker')
-rw-r--r--util/docker/doc.coreboot.org/Dockerfile2
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/"