util/docker/doc.coreboot.org/makeSphinx.sh

   1 #!/usr/bin/env bash
   2
   3 if [ "$1" == "livehtml" ]; then
   4   echo "Starting live documentation build"
   5   cd /data-in/Documentation && make livesphinx BUILDDIR=/tmp/build
   6 else
   7   echo "Starting production documentation build"
   8   cd /data-in/Documentation \
   9     && make sphinx BUILDDIR=/tmp/build \
  10     && rm -rf /data-out/* \
  11     && mv /tmp/build/html/* /data-out/
  12 fi