File: build-html.sh

package info (click to toggle)
piglit 0~git20200212-f4710c51b-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 106,972 kB
  • sloc: ansic: 263,763; xml: 48,941; python: 29,918; lisp: 19,789; cpp: 12,142; sh: 22; makefile: 20; pascal: 5
file content (31 lines) | stat: -rwxr-xr-x 661 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#!/bin/sh
# Shell script for Sphinx documentation
#

set -e

# You can set these variables from the command line.
SPHINXOPTS=
SPHINXBUILD=sphinx-build
PAPER=
BUILDDIR=_build

# Internal variables.
case "$PAPER" in
    a4)
        PAPEROPT="-D latex_paper_size=a4"
        ;;
    letter)
        PAPEROPT="-D latex_paper_size=letter"
        ;;
    *)
        PAPEROPT=
        ;;
esac
PAPEROPT_a4="-D latex_paper_size=a4"
PAPEROPT_letter="-D latex_paper_size=letter"
ALLSPHINXOPTS="-d ${BUILDDIR}/doctrees ${PAPEROPT} ${SPHINXOPTS} ."

${SPHINXBUILD} -b html ${ALLSPHINXOPTS} ${BUILDDIR}/html
echo
echo "Build finished. The HTML pages are in ${BUILDDIR}/html."