diff --git a/Doc/tools/rewrite.py b/Doc/tools/rewrite.py index f2c1b80b17d..1acdd998477 100644 --- 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()