diff options
Diffstat (limited to 'doc/manual-src/en/conf.py.in')
| -rw-r--r-- | doc/manual-src/en/conf.py.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual-src/en/conf.py.in b/doc/manual-src/en/conf.py.in index 713353f7..a877c072 100644 --- a/doc/manual-src/en/conf.py.in +++ b/doc/manual-src/en/conf.py.in @@ -128,7 +128,7 @@ html_theme_path = ['@srcdir@/../../sphinx_themes'] # If true, SmartyPants will be used to convert quotes and dashes to # typographically correct entities. -html_use_smartypants = False +#html_use_smartypants = False # Custom sidebar templates, maps document names to template names. #html_sidebars = {} |