From 52a2315cd160bf1b9bc597cccaccbca469fcbce8 Mon Sep 17 00:00:00 2001 From: Darko Poljak Date: Thu, 18 Aug 2016 10:40:39 +0200 Subject: [PATCH] Turn off sphinx html SmartyPants. --- docs/src/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/src/conf.py b/docs/src/conf.py index 463bcedd..a63a14ff 100644 --- a/docs/src/conf.py +++ b/docs/src/conf.py @@ -164,6 +164,7 @@ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # If true, SmartyPants will be used to convert quotes and dashes to # typographically correct entities. # html_use_smartypants = True +html_use_smartypants = False # Custom sidebar templates, maps document names to template names. # html_sidebars = {}