File: makeSphinx.sh

package info (click to toggle)
coreboot 4.15~dfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 241,604 kB
  • sloc: ansic: 1,669,060; sh: 16,012; perl: 9,464; pascal: 9,098; asm: 8,353; makefile: 4,638; cpp: 4,049; python: 4,013; ada: 1,609; yacc: 1,261; lex: 731; sed: 75; lisp: 5; php: 2
file content (12 lines) | stat: -rwxr-xr-x 358 bytes parent folder | download 
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