summaryrefslogtreecommitdiffstatshomepage
path: root/docs
diff options
context:
space:
mode:
author Firehawke <34792592+Firehawke@users.noreply.github.com>2020-04-21 00:30:06 -0700
committer GitHub <noreply@github.com>2020-04-21 09:30:06 +0200
commit121aa2fe370fa0df17f0f24827db4f0ff0409b78 (patch)
tree9a4c52bde272538da5be60260aee7a56073f7752 /docs
parentab1780e8c0f5e515ddb91c566b7d594d152f5925 (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')
-rw-r--r--docs/source/conf.py4
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 = {}