Undo lost headers

2020-09-02 12:52:30 -04:00
parent 88e09fe648
commit 4e27c47f96
8 changed files with 29 additions and 1 deletions
--- a/doc/utils/fixup_headers.py
+++ b/doc/utils/fixup_headers.py
@ -69,7 +69,7 @@ for orig_file in args.files:
            for line in reader:
                print(line, end="", file=writer)

-    if found_syntax:
+    if found_syntax and len(styles) > 0:
        # override original file
        shutil.move(new_file, orig_file)
    else: