doc/make.sh

   1 #!/usr/bin/env sh
   2
   3 set -e
   4
   5 cd "$(dirname $0)"
   6
   7 docker build -t ghdl/sphinx -f- . <<EOF
   8 FROM ghdl/vunit:llvm
   9 COPY requirements.txt /
  10 RUN pip3 install -r /requirements.txt
  11 EOF
  12
  13 dcmd="docker run --rm -u $(id -u) -e PYTHONPATH=//tmp/src/python -v /$(pwd)/..://tmp/src -w //tmp/src/doc"
  14
  15 $dcmd ghdl/sphinx sh -c "make html latex man"
  16
  17 set +e
  18
  19 $dcmd btdi/latex:latest bash -c "
  20 cd _build/latex
  21 #make
  22 pdflatex -interaction=nonstopmode GHDL.tex;
  23 makeindex -s python.ist GHDL.idx;
  24 pdflatex -interaction=nonstopmode GHDL.tex;
  25 "
  26
  27 set -e