diff options
| author | bwarsaw | 1999-01-15 04:48:20 +0000 |
|---|---|---|
| committer | bwarsaw | 1999-01-15 04:48:20 +0000 |
| commit | ebf7a01d9f2404f0e9a8c099ba05d4590d5b3e0f (patch) | |
| tree | 87e506583be82804380541878253556d64d91911 /admin/bin | |
| parent | afdc7fa4d45d65a1d6192405cae3826d80db4f72 (diff) | |
| download | mailman-ebf7a01d9f2404f0e9a8c099ba05d4590d5b3e0f.tar.gz mailman-ebf7a01d9f2404f0e9a8c099ba05d4590d5b3e0f.tar.zst mailman-ebf7a01d9f2404f0e9a8c099ba05d4590d5b3e0f.zip | |
Ignore Emacs page delimiter at the end of TODO file
Diffstat (limited to 'admin/bin')
| -rwxr-xr-x | admin/bin/mm2do | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/admin/bin/mm2do b/admin/bin/mm2do index 688fc2921..ea8ce4aba 100755 --- a/admin/bin/mm2do +++ b/admin/bin/mm2do @@ -4,7 +4,10 @@ f = open('TODO', 'r') sys.stdout = open('admin/www/todo.html', 'w') lines = f.readlines() f.close() -l = len(lines) +for l in range(len(lines)): + if lines[l][0] == '\f': + l = l - 1 + break i = 0 print "<HTML><HEAD><TITLE>The Mailman TODO list</TITLE></HEAD><BODY>" while lines[i][0] <> '*': |