6e25feff70
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>
5 lines
300 B
Docker
5 lines
300 B
Docker
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
|
|
ENTRYPOINT bash -c "cd /data-in/Documentation && make sphinx BUILDDIR=/tmp/build && rm -rf /data-out/* && mv /tmp/build/html/* /data-out/"
|