aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar Clément Pit-Claudel <clement.pitclaudel@live.com>2018-06-08 09:41:00 -0400
committerGravatar Clément Pit-Claudel <clement.pitclaudel@live.com>2018-06-08 09:42:22 -0400
commit2369b095a38f08e7c28e8a5dc2591476986e89c0 (patch)
treeae3a1cde4f427e768cb928e760bea33bc9eae456 /doc
parentbb63a9f2209108424bd3dadc1c479f9ddc0e1803 (diff)
[doc] Disable smartquotes conversion
Closes GH-7742.
Diffstat (limited to 'doc')
-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 = {}