diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/docbuild/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/docbuild/Dockerfile b/docs/docbuild/Dockerfile index 95841d9c..4cd5b07c 100644 --- a/docs/docbuild/Dockerfile +++ b/docs/docbuild/Dockerfile @@ -11,4 +11,5 @@ RUN python3 -m pip install Sphinx breathe \ sphinx_rtd_theme recommonmark sphinx-markdown-tables \ sphinxcontrib-spelling - +# workaround for sphinxcontrib-spelling 7.1.0 +RUN sed -i '188s/except ImportError/except \(ImportError, UnicodeError\)/' /usr/local/lib/python3.6/dist-packages/sphinxcontrib/spelling/filters.py |