diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-06-17 11:17:31 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-17 11:17:31 +0200 |
commit | d62354b7e9ff8e20aa959984b392a27e26f9fc24 (patch) | |
tree | 913a9153fd13b328dbba08e4b8b01838fef3c430 | |
parent | dfbfa6abc74199d88747430bdfc78f6ebda09dcb (diff) | |
parent | 2369b095a38f08e7c28e8a5dc2591476986e89c0 (diff) |
Merge PR #7749: [doc] Disable smartquotes conversion
-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 = {} |