blob: fa2313cabc6d72544e2dcf26794c7271dd352de7 [file] [log] [blame]
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/"