diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2018-03-10 10:31:07 +0100 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-03-10 10:31:07 +0100 |
commit | 0bacf9e8c29b5fff09e7c04fb566ffe5e1777387 (patch) | |
tree | 32a58d4ef124868d04107154cbd738666acd7f21 /doc/conf.py | |
parent | 68d24d41988f6d13323962409b7f9d1bd8a7d6c7 (diff) | |
download | pylint-git-0bacf9e8c29b5fff09e7c04fb566ffe5e1777387.tar.gz |
Disable smartquotes when generating the doc to get double dash processed correctly. Close #1916
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/conf.py b/doc/conf.py index 7e21fd473..a86e11a16 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -131,9 +131,7 @@ html_static_path = ['_static'] # using the given strftime format. #html_last_updated_fmt = '%b %d, %Y' -# If true, SmartyPants will be used to convert quotes and dashes to -# typographically correct entities. -#html_use_smartypants = True +smartquotes = False # Custom sidebar templates, maps document names to template names. #html_sidebars = {} |