diff options
| -rwxr-xr-x | dist/man.sh | 2 | ||||
| -rwxr-xr-x | doc/make.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dist/man.sh b/dist/man.sh index 5244e49a7..4c5316ddb 100755 --- a/dist/man.sh +++ b/dist/man.sh @@ -9,7 +9,7 @@ set -e docker run --rm -it \ -v /$(pwd):/src \ -w //src/doc \ - btdi/sphinx:py2-featured \ + btdi/sphinx:featured \ sh -c "sphinx-build -T -b man . ./_build/man" nroff -man doc/_build/man/ghdl.1 diff --git a/doc/make.sh b/doc/make.sh index 200c29ac1..faec1988e 100755 --- a/doc/make.sh +++ b/doc/make.sh @@ -5,7 +5,7 @@ set -e cd "$(dirname $0)" docker build -t ghdl/sphinx -f- . <<EOF -FROM btdi/sphinx:py3-featured +FROM btdi/sphinx:featured COPY requirements.txt / RUN apk add -U --no-cache make \ && pip3 install -r /requirements.txt |