[#2513] disable smartquotes in sphinx configuration

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 960f2298163dedda950a5d76bfac6aea73ec1d2a..c7bcb0a44ebfe86e8e70a8837ed8a4571b7e185c 100644 (file)
--- 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