From 014c6c4a4ccba89e1de30061f0eff9fa3b85ca6e Mon Sep 17 00:00:00 2001 From: Andrei Pavel Date: Thu, 13 Jul 2023 09:05:28 +0300 Subject: [PATCH] [#2946] disable smartquotes in sphinx configuration --- doc/sphinx/conf.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index 960f229816..c7bcb0a44e 100644 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -122,6 +122,10 @@ exclude_patterns = [ 'arm/hooks-user-chk.rst', ] +# Leave quotes and dashes unchanged and don't convert them to typographically +# correct entities. +smartquotes = False + # The name of the Pygments (syntax highlighting) style to use. pygments_style = None -- 2.47.2