diff options
Diffstat (limited to 'util/docker')
| -rw-r--r-- | util/docker/docs.coreboot.org/Dockerfile | 5 | ||||
| -rw-r--r-- | util/docker/docs.coreboot.org/README.md | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/util/docker/docs.coreboot.org/Dockerfile b/util/docker/docs.coreboot.org/Dockerfile new file mode 100644 index 0000000000..fa2313cabc --- /dev/null +++ b/util/docker/docs.coreboot.org/Dockerfile @@ -0,0 +1,5 @@ +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/" diff --git a/util/docker/docs.coreboot.org/README.md b/util/docker/docs.coreboot.org/README.md new file mode 100644 index 0000000000..11c095d18e --- /dev/null +++ b/util/docker/docs.coreboot.org/README.md @@ -0,0 +1,3 @@ +How to use: + +docker run --rm -v $path-to-coreboot.git:/data-in:ro -v $path-to-html-output:/data-out $image |