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