1#!/usr/bin/env bash 2 3if [ "$1" == "livehtml" ]; then 4 echo "Starting live documentation build" 5 cd /data-in/Documentation && make livesphinx BUILDDIR=/tmp/build 6else 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/ 12fi 13