summaryrefslogtreecommitdiff
path: root/docs/conf.py
diff options
context:
space:
mode:
authorDmitry Shachnev <mitya57@gmail.com>2017-05-17 13:09:12 +0300
committerTim Graham <timograham@gmail.com>2017-05-24 10:01:42 -0400
commit753acae9f2f430e2c90816ba2fdbcfbefd6fdd33 (patch)
tree173c5222a2ff17cd7259e8a2f99421117a3b9142 /docs/conf.py
parent85dc4be21ff1ff30920a44e6c5d905bee02c2c87 (diff)
[1.10.x] Fixed docs build with Sphinx 1.6.
Backport of f370bfb10878918eae8db9985e0856949fa65d3a from master
Diffstat (limited to 'docs/conf.py')
-rw-r--r--docs/conf.py6
1 files changed, 2 insertions, 4 deletions
diff --git a/docs/conf.py b/docs/conf.py
index 5f57ce57e2..6671190cb5 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -52,6 +52,8 @@ extensions = [
# Add it only if spelling check is requested so docs can be generated without it.
if 'spelling' in sys.argv:
extensions.append("sphinxcontrib.spelling")
+ # Workaround for https://bitbucket.org/dhellmann/sphinxcontrib-spelling/issues/13
+ html_use_smartypants = False
# Spelling language.
spelling_lang = 'en_US'
@@ -188,10 +190,6 @@ html_theme_path = ["_theme"]
# using the given strftime format.
html_last_updated_fmt = '%b %d, %Y'
-# If true, SmartyPants will be used to convert quotes and dashes to
-# typographically correct entities.
-html_use_smartypants = True
-
# Content template for the index page.
# html_index = ''