diff options
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 5f57ce57e2..6671190cb5 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 = '' |