diff options
| author | Tim Graham <timograham@gmail.com> | 2018-09-18 11:51:04 -0400 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2018-09-18 11:51:04 -0400 |
| commit | 7ed4713a90dcaefcda55af1b44a2c399e28e3ee7 (patch) | |
| tree | 6a07cd0c15fd8b34971ce9d606d54ff4ce3c433c /docs | |
| parent | beffa061eb8168105f265f0064d20d31165178b5 (diff) | |
Removed obsolete html_use_smartypants Sphinx option.
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' |