minor adjustment suggested by Peter Gephardt

diff --git a/Doc/tut/tut.tex b/Doc/tut/tut.tex
index e01f254bfbac9a5e38ca66644306ac7eb55d5fbb..9d45abe16da873053076c5b6fc7fe5e8ee48cb5f 100644 (file)
--- a/Doc/tut/tut.tex
+++ b/Doc/tut/tut.tex
@@ -4771,7 +4771,7 @@ for sending mail:
 \begin{verbatim}
 >>> import urllib2
 >>> for line in urllib2.urlopen('http://tycho.usno.navy.mil/cgi-bin/timer.pl'):
-...     if 'EST' in line:      # look for Eastern Standard Time
+...     if 'EST' in line or 'EDT' in line:  # look for Eastern Time
 ...         print line
     
 <BR>Nov. 25, 09:43:32 PM EST