diff options
author | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-06-08 09:41:00 -0400 |
---|---|---|
committer | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-06-08 09:42:22 -0400 |
commit | 2369b095a38f08e7c28e8a5dc2591476986e89c0 (patch) | |
tree | ae3a1cde4f427e768cb928e760bea33bc9eae456 /doc/sphinx | |
parent | bb63a9f2209108424bd3dadc1c479f9ddc0e1803 (diff) |
[doc] Disable smartquotes conversion
Closes GH-7742.
Diffstat (limited to 'doc/sphinx')
-rwxr-xr-x | doc/sphinx/conf.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index f65400e88..135c24aed 100755 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -201,9 +201,9 @@ html_static_path = ['_static'] # The empty string is equivalent to '%b %d, %Y'. #html_last_updated_fmt = None -# If true, SmartyPants will be used to convert quotes and dashes to -# typographically correct entities. -html_use_smartypants = False # FIXME wrap code in <code> tags, otherwise quotesget converted in there +# FIXME: this could be re-enabled after ensuring that smart quotes are locally +# disabled for all relevant directives +smartquotes = False # Custom sidebar templates, maps document names to template names. #html_sidebars = {} |