| Tom Hiller | fcca617 | 2018-08-18 19:39:55 -0400 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | |||||
| 3 | if [ "$1" == "livehtml" ]; then | ||||
| 4 | echo "Starting live documentation build" | ||||
| 5 | cd /data-in/Documentation && make livesphinx BUILDDIR=/tmp/build | ||||
| 6 | else | ||||
| 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/ | ||||
| 12 | fi | ||||