diff options
| author | Dmitry Shachnev <mitya57@gmail.com> | 2017-05-17 13:09:12 +0300 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2017-05-24 09:47:24 -0400 |
| commit | b78e5dec18c79ab8a1910478ab61a65cd691078a (patch) | |
| tree | 0de36e96139337731d69175a6d4d472289ed82c4 /docs/conf.py | |
| parent | d1d08d86baef05db5b37c266ed9142f1c57e6322 (diff) | |
[1.11.x] Fixed docs build with Sphinx 1.6.
Backport of f370bfb10878918eae8db9985e0856949fa65d3a from master
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/docs/conf.py b/docs/conf.py index a7acfe6b69..62e337dceb 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -52,6 +52,8 @@ extensions = [ # 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' @@ -188,10 +190,6 @@ html_theme_path = ["_theme"] # using the given strftime format. html_last_updated_fmt = '%b %d, %Y' -# If true, SmartyPants will be used to convert quotes and dashes to -# typographically correct entities. -html_use_smartypants = True - # Content template for the index page. # html_index = '' |