diff options
Diffstat (limited to 'docs/conf.py')
| -rwxr-xr-x | docs/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 5185b61cd3..e8bb6630f3 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -38,7 +38,8 @@ html_show_sphinx = False extensions = [ 'sphinx.ext.intersphinx','sphinxcontrib.blockdiag', - 'sphinxcontrib.seqdiag', 'sphinxcontrib.swaggerdoc', 'sphinx.ext.graphviz'] + 'sphinxcontrib.seqdiag', 'sphinxcontrib.swaggerdoc', 'sphinx.ext.graphviz', + 'sphinxcontrib.spelling'] # # Map to 'latest' if this file is used in 'latest' (master) 'doc' branch. |