summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
authorPatrick Georgi <patrick@georgi.software>2018-05-30 18:15:20 +0200
committerPatrick Georgi <pgeorgi@google.com>2018-06-07 11:33:15 +0000
commit6e25feff70298646fe4dd070c35ec7f8f31b611c (patch)
treeb079b9ec60fd215c77a6da88db6199ea85426e72 /util
parent362a73409103ae076172ea58f3f1c1a8fbdc6b00 (diff)
downloadcoreboot-6e25feff70298646fe4dd070c35ec7f8f31b611c.tar.xz
util/docker/docs.coreboot.org: Downgrade sphinx
Sphinx >= 1.6 can't use recommonmark. debian/stable is ancient enough to have an older version. Change-Id: I287deab9168ab6124b05d0c6d6e8cdbd7fdc2eec Signed-off-by: Patrick Georgi <patrick@georgi.software> Reviewed-on: https://review.coreboot.org/26699 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Diffstat (limited to 'util')
-rw-r--r--util/docker/docs.coreboot.org/Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker/docs.coreboot.org/Dockerfile b/util/docker/docs.coreboot.org/Dockerfile
index fa2313cabc..a475b8cb12 100644
--- a/util/docker/docs.coreboot.org/Dockerfile
+++ b/util/docker/docs.coreboot.org/Dockerfile
@@ -1,4 +1,4 @@
-FROM debian:sid
+FROM debian:stable
RUN apt-get update && apt-get install -y make python-sphinx python-recommonmark python-sphinx-rtd-theme
USER nobody
VOLUME /data-in /data-out