1 files changed, 1 insertions, 1 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