coreboot-kgpe-d16/util/docker/doc.coreboot.org/makeSphinx.sh

#!/usr/bin/env 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
util: Update all shebangs to use /usr/bin/env Instead of hardcoding paths to the executables, use the version in the path. This allows the scripts to work on more systems, and allows the binary version to be changed more easily if needed. Signed-off-by: Martin Roth <martin@coreboot.org> Change-Id: Ifcc56aa21092cd3866eacb6a02d198110ec6051d Reviewed-on: https://review.coreboot.org/c/coreboot/+/48904 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Angel Pons <th3fanbus@gmail.com> 2020-12-24 20:06:38 +01:00			`#!/usr/bin/env bash`
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> 2018-08-19 01:39:55 +02:00
			`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`