Fix markup typo in a {verbatim} environment (there should not be any!);
caught by Eric Raymond.
diff --git a/Doc/lib/libtime.tex b/Doc/lib/libtime.tex
index 8ff36ed..c3f62ed 100644
--- a/Doc/lib/libtime.tex
+++ b/Doc/lib/libtime.tex
@@ -235,7 +235,7 @@
 
 \begin{verbatim}
 >>> from time import *
->>> strftime("\%a, \%d \%b \%Y \%H:\%M:\%S \%Z", localtime())
+>>> strftime("%a, %d %b %Y %H:%M:%S %Z", localtime())
 'Sat, 27 Jan 2001 05:15:05 EST'
 >>>
 \end{verbatim}