normalize whitespace

diff --git a/Doc/tools/rewrite.py b/Doc/tools/rewrite.py
index f2c1b80b17d3397f0ef9a9a39646d7bfaa5b8125..1acdd99847769eb448c9e8f9a824a5f7ae25634f 100644 (file)
--- a/Doc/tools/rewrite.py
+++ b/Doc/tools/rewrite.py
@@ -19,7 +19,7 @@ def get_info(fp):
             date = time.strftime("%B %d, %Y", time.localtime(time.time()))
         d["DATE"] = date
     return d
-    
+
 
 def main():
     s = sys.stdin.read()