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

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