diff options
| -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 |