diff options
Diffstat (limited to 'doc/build.sh')
-rw-r--r-- | doc/build.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/doc/build.sh b/doc/build.sh deleted file mode 100644 index 98d9039b9..000000000 --- a/doc/build.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh - -set -e - -cd $(dirname $0)/.. - -$(command -v winpty) docker run --rm -t \ - -v /$(pwd)://src \ - -w //src/doc \ - btdi/sphinx:py3-featured sh -c "$(cat <<-EOF -pip install -r requirements.txt -sphinx-build -T -b html -D language=en . _build/html -sphinx-build -T -b latex -D language=en . _build/latex -EOF -)" - -$(command -v winpty) docker run --rm -t \ - -v /$(pwd)://src \ - -w //src/doc \ - btdi/latex sh -c "$(cat <<-EOF -cd _build/latex -FILE=\"\`ls *.tex | sed -e 's/\.tex//'\`\" -pdflatex -interaction=nonstopmode \$FILE.tex; -makeindex -s python.ist \$FILE.idx; -pdflatex -interaction=nonstopmode \$FILE.tex; -EOF -)" |