From c6bcafbfad0984172bc107ef959185e4641050ce Mon Sep 17 00:00:00 2001 From: Richard Fuchs Date: Mon, 18 Aug 2025 07:31:12 -0400 Subject: [PATCH] MT#55283 fix RTD dashes in man page Change-Id: I656ef133747d892d678d5ec3296aea90d96be0bb (cherry picked from commit d9fbda81e898005340bb06f89a729d4888d99ab7) (cherry picked from commit 71fed03b5a6b21bd3a96b0ecda038e1a52fd70da) --- docs/conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index 9240b2fc9..713f2bfb3 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -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'