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:13:26 -0400 |
| commit | f370bfb10878918eae8db9985e0856949fa65d3a (patch) | |
| tree | 239b829d90c0d5b03df07a643b66a901157bab15 /docs/conf.py | |
| parent | 6092ea8fa62191bf9ed8ebaae3125dcde9c4bbec (diff) | |
Fixed docs build with Sphinx 1.6.
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 e9619afdbf..2344e71dcf 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -48,6 +48,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' @@ -182,10 +184,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 = '' |