diff options
Diffstat (limited to 'doc/make.sh')
| -rwxr-xr-x | doc/make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |