coreboot-kgpe-d16/util/docker/docs.coreboot.org/Dockerfile

6 lines
297 B
Docker

FROM debian:sid
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/"