diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2019-11-10 16:35:02 -0500 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2019-11-10 16:36:07 -0500 |
| commit | 9c53e8b19ad12f1bb88bf11e8836d51da39cdbc2 (patch) | |
| tree | 06e2df37a5cdcc09c4b559eff85297e54df66a9e | |
| parent | 1dc17eaf6ed4bb2f2acb99fe7fe1f6857f645cc8 (diff) | |
| download | python-coveragepy-git-9c53e8b19ad12f1bb88bf11e8836d51da39cdbc2.tar.gz | |
Automatically consider contributors' names as correctly spelled
| -rw-r--r-- | doc/conf.py | 10 | ||||
| -rw-r--r-- | doc/dict.txt | 23 |
2 files changed, 9 insertions, 24 deletions
diff --git a/doc/conf.py b/doc/conf.py index fa36b020..1f7fc217 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -15,7 +15,9 @@ # All configuration values have a default; values that are commented out # serve to show the default. +import atexit import os +import tempfile # If extensions (or modules to document with autodoc) are in another directory, # add these directories to sys.path here. If the directory is relative to the @@ -187,7 +189,13 @@ htmlhelp_basename = 'coveragepydoc' # -- Spelling --- -spelling_word_list_filename = 'dict.txt' +names_file = tempfile.NamedTemporaryFile(mode='w', prefix="coverage_names_", suffix=".txt") +with open("../CONTRIBUTORS.txt") as contributors: + names_file.write("\n".join(contributors.read().split())) + names_file.flush() +atexit.register(os.remove, names_file.name) + +spelling_word_list_filename = ['dict.txt', names_file.name] spelling_show_suggestions = False extlinks = { diff --git a/doc/dict.txt b/doc/dict.txt index cdc3fb0e..6121b169 100644 --- a/doc/dict.txt +++ b/doc/dict.txt @@ -198,26 +198,3 @@ xml XML xrange xyzzy -Adi -Berezhny -Berman -Betz -Carballo -Cobden -Danek -Dmitry -Duvall -Finney -Gedminas -Jeanpierre -Jevnik -Kichewko -Krystian -Lex -Lytwynec -Olds -Portante -Roiban -Schettino -Trofimov -Zooko |