summaryrefslogtreecommitdiff
path: root/util/docker/doc.coreboot.org/makeSphinx.sh
blob: 96a593c7eda91ace9d29ef44e06d80a4aba1ecfc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
#!/usr/bin/env bash

if [ "$1" == "livehtml" ]; then
  echo "Starting live documentation build"
  cd /data-in/Documentation && make livesphinx BUILDDIR=/tmp/build
else
  echo "Starting production documentation build"
  cd /data-in/Documentation \
    && make sphinx BUILDDIR=/tmp/build \
    && rm -rf /data-out/* \
    && mv /tmp/build/html/* /data-out/
fi