From 7ed4713a90dcaefcda55af1b44a2c399e28e3ee7 Mon Sep 17 00:00:00 2001
From: Tim Graham <timograham@gmail.com>
Date: Tue, 18 Sep 2018 11:51:04 -0400
Subject: [PATCH] Removed obsolete html_use_smartypants Sphinx option.

---
 docs/conf.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index a276b17ac8..c720273531 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -52,8 +52,6 @@ extlinks = {
 # 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'