blob: b2852f777e827942bf196376b5377ab73f5b0f6d (
plain)
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
|
#!/usr/bin/env sh
set -e
cd "$(dirname $0)"
docker build -t ghdl/sphinx -f- . <<EOF
FROM ghdl/vunit:llvm
COPY requirements.txt /
RUN pip3 install -r /requirements.txt
EOF
dcmd="docker run --rm -u $(id -u) -e PYTHONPATH=//tmp/src/python -v /$(pwd)/..://tmp/src -w //tmp/src/doc"
$dcmd ghdl/sphinx sh -c "make html latex man"
set +e
$dcmd btdi/latex:latest bash -c "
cd _build/latex
#make
pdflatex -interaction=nonstopmode GHDL.tex;
makeindex -s python.ist GHDL.idx;
pdflatex -interaction=nonstopmode GHDL.tex;
"
set -e
|