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