diff options
author | 2020-04-21 00:30:06 -0700 | |
---|---|---|
committer | 2020-04-21 09:30:06 +0200 | |
commit | 121aa2fe370fa0df17f0f24827db4f0ff0409b78 (patch) | |
tree | 9a4c52bde272538da5be60260aee7a56073f7752 /docs/source/conf.py | |
parent | ab1780e8c0f5e515ddb91c566b7d594d152f5925 (diff) |
Fix smartquotes by disabling them: While smartquotes are somewhat configurable, it's better if we don't use them at all. Makes sure there are no hidden pit traps for the users. (#6576)
Diffstat (limited to 'docs/source/conf.py')
-rw-r--r-- | docs/source/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index a93b84c0289..d42e8244e4c 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -145,8 +145,12 @@ html_theme_path = ["../themes/"] # If true, SmartyPants will be used to convert quotes and dashes to # typographically correct entities. +# This was depreciated in Sphinx 1.6.6 #html_use_smartypants = True +# We don't want smartquotes in general. +smartquotes = False + # Custom sidebar templates, maps document names to template names. #html_sidebars = {} |