Browse Source

MT#55283 fix RTD dashes in man page

Change-Id: I656ef133747d892d678d5ec3296aea90d96be0bb
(cherry picked from commit d9fbda81e8)
mr12.5
Richard Fuchs 4 months ago
parent
commit
71fed03b5a
1 changed files with 3 additions and 0 deletions
  1. +3
    -0
      docs/conf.py

+ 3
- 0
docs/conf.py View File

@ -28,3 +28,6 @@ master_doc = 'index'
html_theme = 'sphinx_rtd_theme'
htmlhelp_basename = 'rtpenginedoc'
# Prevent double dashes -- from becoming single em dashes
smartquotes_action = 'qe'

Loading…
Cancel
Save