From b08064bb4ed4bbafcd17281c6b5c92a63cd8a79d Mon Sep 17 00:00:00 2001 From: Marian Beermann Date: Sat, 17 Jun 2017 12:29:13 +0200 Subject: [PATCH] docs: turn smartypants back on, since --options are now in `` --- docs/conf.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 81c397bca..4804bcffa 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -152,9 +152,7 @@ html_last_updated_fmt = '%Y-%m-%d' # If true, SmartyPants will be used to convert quotes and dashes to # typographically correct entities. -# -# This is disabled to avoid mangling --options-that-appear-in-texts. -html_use_smartypants = False +html_use_smartypants = True # Custom sidebar templates, maps document names to template names. html_sidebars = {