Turn off sphinx html SmartyPants.

remotes/origin/4.3
Darko Poljak 8 years ago
parent 680806ce76
commit 52a2315cd1
  1. 1
      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 # If true, SmartyPants will be used to convert quotes and dashes to
# typographically correct entities. # typographically correct entities.
# html_use_smartypants = True # html_use_smartypants = True
html_use_smartypants = False
# Custom sidebar templates, maps document names to template names. # Custom sidebar templates, maps document names to template names.
# html_sidebars = {} # html_sidebars = {}

Loading…
Cancel
Save