diff options
author | Tom Hiller <thrilleratplay@gmail.com> | 2018-08-18 19:39:55 -0400 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-08-23 15:56:31 +0000 |
commit | fcca617eaf6389e76d51c636329b3ed131deccd0 (patch) | |
tree | 0a3c95175de0c7c380bf50ba1b750ce76ea107ba /util/docker/doc.coreboot.org/makeSphinx.sh | |
parent | 651b11be2d850ddef2be9aa811c5ce6102c4749c (diff) |
util/docker/doc.coreboot.org/Dockerfile: Use alpine:3.8, Sphinx 1.7
With Alpine base, use pip to install Sphinx 1.7 and Sphinx-autobuild
Alpine, a 4.5MB base, is used over Debian Stable, 101MB, to cut down the
total size of the docker image.
Change-Id: I53f246206458b1de34cd7f3a42481b91ca285ff0
Signed-off-by: Tom Hiller <thrilleratplay@gmail.com>
Reviewed-on: https://review.coreboot.org/28211
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/docker/doc.coreboot.org/makeSphinx.sh')
-rwxr-xr-x | util/docker/doc.coreboot.org/makeSphinx.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/util/docker/doc.coreboot.org/makeSphinx.sh b/util/docker/doc.coreboot.org/makeSphinx.sh new file mode 100755 index 0000000000..3b0c4e336f --- /dev/null +++ b/util/docker/doc.coreboot.org/makeSphinx.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +if [ "$1" == "livehtml" ]; then + echo "Starting live documentation build" + cd /data-in/Documentation && make livesphinx BUILDDIR=/tmp/build +else + echo "Starting production documentation build" + cd /data-in/Documentation \ + && make sphinx BUILDDIR=/tmp/build \ + && rm -rf /data-out/* \ + && mv /tmp/build/html/* /data-out/ +fi |