diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/conf.py b/docs/conf.py index a276b17ac8..c720273531 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -52,8 +52,6 @@ extlinks = { # Add it only if spelling check is requested so docs can be generated without it. if 'spelling' in sys.argv: extensions.append("sphinxcontrib.spelling") - # Workaround for https://bitbucket.org/dhellmann/sphinxcontrib-spelling/issues/13 - html_use_smartypants = False # Spelling language. spelling_lang = 'en_US' |