aboutsummaryrefslogtreecommitdiffstats
path: root/doc/make.sh
diff options
context:
space:
mode:
authorumarcor <unai.martinezcorral@ehu.eus>2020-08-30 23:25:38 +0200
committertgingold <tgingold@users.noreply.github.com>2020-08-31 08:08:31 +0200
commite3672365cf95b98135c2b65446995dcd85b92d5e (patch)
tree56edf5320564be93fbc8550056e9606b49a8816c /doc/make.sh
parent5b1f9ab31b9f46063f140afe6a4d5388d8e505bb (diff)
downloadghdl-e3672365cf95b98135c2b65446995dcd85b92d5e.tar.gz
ghdl-e3672365cf95b98135c2b65446995dcd85b92d5e.tar.bz2
ghdl-e3672365cf95b98135c2b65446995dcd85b92d5e.zip
doc: autodoc python modules (libghdl, thin, vhdl and pyutils)
Diffstat (limited to 'doc/make.sh')
-rwxr-xr-xdoc/make.sh7
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/make.sh b/doc/make.sh
index faec1988e..b2852f777 100755
--- a/doc/make.sh
+++ b/doc/make.sh
@@ -5,13 +5,12 @@ set -e
cd "$(dirname $0)"
docker build -t ghdl/sphinx -f- . <<EOF
-FROM btdi/sphinx:featured
+FROM ghdl/vunit:llvm
COPY requirements.txt /
-RUN apk add -U --no-cache make \
- && pip3 install -r /requirements.txt
+RUN pip3 install -r /requirements.txt
EOF
-dcmd="docker run --rm -u $(id -u) -v /$(pwd)/..://tmp/src -w //tmp/src/doc"
+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"