#!/usr/bin/env bash if [ "$1" == "livehtml" ]; then echo "Starting live documentation build" cd /data-in/ && sphinx-autobuild -b html doc /tmp/build/html else echo "Starting production documentation build" cd /data-in/ \ && sphinx-build -b html doc /tmp/build/html \ && rm -rf /data-out/* \ && mv /tmp/build/html/* /data-out/ fi