diff --git a/Doc/conf.py b/Doc/conf.py
index bd0ea9f64b5..f72aacfc0d0 100644
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -138,6 +138,8 @@
   \strong{Python Software Foundation}\\
   Email: \email{docs@python.org}
 }
+\let\Verbatim=\OriginalVerbatim
+\let\endVerbatim=\endOriginalVerbatim
 '''
 
 # Documents to append as an appendix to all manuals.