blob: 3b0c4e336fe6d6bb78b6a550eb89a0bc712780c8 [file] [log] [blame]
Tom Hillerfcca6172018-08-18 19:39:55 -04001#!/bin/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