From d189b8395ec801c86f2b1dd525fbbf66871b158f Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Mon, 7 Nov 2016 22:16:38 +0100 Subject: [PATCH] Turn off SmartyPants; I can do my own Unicode quotes, and I want -- to be for options. --- conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf.py b/conf.py index 99421ec..422f6e9 100644 --- a/conf.py +++ b/conf.py @@ -171,7 +171,7 @@ html_static_path = ['_static'] # 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. # -- 2.39.2