gnu-mklog: handle ^L whitespace chars

diff --git a/.bin/gnu-mklog b/.bin/gnu-mklog
index 52fd7cea3c6bb44c5754b69532d30494151c803f..d24e0bfcd87765cd0a61cab21799c8f6dfd5fcbd 100755 (executable)
--- a/.bin/gnu-mklog
+++ b/.bin/gnu-mklog
@@ -93,8 +93,11 @@ def main(argv):
                 new_log = new_log.replace(pfile.path, relpath)
 
         # Read the old ChangeLog file and strip spurious whitespace.
+        # Specify the whitespace to strip explciitly as we want to leave the
+        # \f (^L) characters alone.
         with open(log, encoding='utf-8') as fp:
-            old_log = '\n'.join(x.rstrip() for x in fp.read().strip().splitlines())
+            old_log = '\n'.join(x.rstrip(' \t\r')
+                                for x in fp.read().strip().split('\n'))
 
         # Now update the ChangeLog file with the new entry at top.
         with open(log, 'w', encoding='utf-8') as fp: