MT#55283 fix RTD dashes in man page

Change-Id: I656ef133747d892d678d5ec3296aea90d96be0bb
9 months ago · d9fbda81e8
parent 7cf0b86240
commit d9fbda81e8
1 changed files with 3 additions and 0 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@ -30,3 +30,6 @@ master_doc = 'index'

 html_theme = 'sphinx_rtd_theme'
 htmlhelp_basename = 'rtpenginedoc'
+
+# Prevent double dashes -- from becoming single em dashes
+smartquotes_action = 'qe'