aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2018-06-17 11:17:31 +0200
committerGravatar Maxime Dénès <mail@maximedenes.fr>2018-06-17 11:17:31 +0200
commitd62354b7e9ff8e20aa959984b392a27e26f9fc24 (patch)
tree913a9153fd13b328dbba08e4b8b01838fef3c430
parentdfbfa6abc74199d88747430bdfc78f6ebda09dcb (diff)
parent2369b095a38f08e7c28e8a5dc2591476986e89c0 (diff)
Merge PR #7749: [doc] Disable smartquotes conversion
-rwxr-xr-xdoc/sphinx/conf.py6
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 = {}