diff options
-rw-r--r-- | Doc/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Doc/conf.py b/Doc/conf.py index bd0ea9f..f72aacf 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -138,6 +138,8 @@ latex_preamble = r''' \strong{Python Software Foundation}\\ Email: \email{docs@python.org} } +\let\Verbatim=\OriginalVerbatim +\let\endVerbatim=\endOriginalVerbatim ''' # Documents to append as an appendix to all manuals. |