diff options
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 59907127..92eb9799 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -36,7 +36,6 @@ extensions = [ 'sphinx.ext.autodoc', 'sphinx.ext.todo', 'sphinx.ext.ifconfig', - 'sphinxcontrib.spelling', 'sphinx.ext.intersphinx', 'sphinxcontrib.restbuilder', 'sphinx.ext.napoleon', @@ -220,6 +219,9 @@ htmlhelp_basename = 'coveragepydoc' # -- Spelling --- if any("spell" in arg for arg in sys.argv): + # sphinxcontrib.spelling needs the native "enchant" library, which often is + # missing, so only use the extension if we are specifically spell-checking. + extensions += ['sphinxcontrib.spelling'] names_file = tempfile.NamedTemporaryFile(mode='w', prefix="coverage_names_", suffix=".txt") with open("../CONTRIBUTORS.txt") as contributors: names = set(re.split(r"[^\w']", contributors.read())) |