From 9101608e85998073dc0eb2e1238b6b113e8f65f2 Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Wed, 6 Jun 2018 13:23:25 +0200 Subject: util/docker: rename docs.c.o to doc.c.o Make the directory name match the name of the subdomain. Change-Id: I2dcf2385e6d953b7fe02caef72413149a332ec24 Signed-off-by: Patrick Georgi Reviewed-on: https://review.coreboot.org/26887 Reviewed-by: Philipp Deppenwiese Reviewed-by: Paul Menzel Tested-by: build bot (Jenkins) --- util/docker/doc.coreboot.org/Dockerfile | 5 +++++ util/docker/doc.coreboot.org/README.md | 3 +++ util/docker/docs.coreboot.org/Dockerfile | 5 ----- util/docker/docs.coreboot.org/README.md | 3 --- 4 files changed, 8 insertions(+), 8 deletions(-) create mode 100644 util/docker/doc.coreboot.org/Dockerfile create mode 100644 util/docker/doc.coreboot.org/README.md delete mode 100644 util/docker/docs.coreboot.org/Dockerfile delete mode 100644 util/docker/docs.coreboot.org/README.md diff --git a/util/docker/doc.coreboot.org/Dockerfile b/util/docker/doc.coreboot.org/Dockerfile new file mode 100644 index 0000000000..27966ac80d --- /dev/null +++ b/util/docker/doc.coreboot.org/Dockerfile @@ -0,0 +1,5 @@ +FROM debian:stable +RUN apt-get update && apt-get install -y make python-sphinx python-recommonmark python-sphinx-rtd-theme && apt-get clean +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/doc.coreboot.org/README.md b/util/docker/doc.coreboot.org/README.md new file mode 100644 index 0000000000..11c095d18e --- /dev/null +++ b/util/docker/doc.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 diff --git a/util/docker/docs.coreboot.org/Dockerfile b/util/docker/docs.coreboot.org/Dockerfile deleted file mode 100644 index 27966ac80d..0000000000 --- a/util/docker/docs.coreboot.org/Dockerfile +++ /dev/null @@ -1,5 +0,0 @@ -FROM debian:stable -RUN apt-get update && apt-get install -y make python-sphinx python-recommonmark python-sphinx-rtd-theme && apt-get clean -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 deleted file mode 100644 index 11c095d18e..0000000000 --- a/util/docker/docs.coreboot.org/README.md +++ /dev/null @@ -1,3 +0,0 @@ -How to use: - -docker run --rm -v $path-to-coreboot.git:/data-in:ro -v $path-to-html-output:/data-out $image -- cgit v1.2.3