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