diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-04-27 16:49:38 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-04-27 16:49:38 -0400 |
| commit | baf990e65c62f42e45fe25ac385db9536d3f1788 (patch) | |
| tree | 7b89cecde1d6cd3b600b9295e0ad22a702cd1065 /scripts/mandoc_gen.py | |
| parent | 1a8a8bc3e2ebd9c282db8131902f9bb5de8c03cb (diff) | |
Update stdlib to use `print` instead of `printf` in all cases. This
means bringing in fpconv to do float-to-string conversion and a few
updates to integer and number methods for string formatting.
Diffstat (limited to 'scripts/mandoc_gen.py')
| -rwxr-xr-x | scripts/mandoc_gen.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/mandoc_gen.py b/scripts/mandoc_gen.py index 66dedd1f..8342e253 100755 --- a/scripts/mandoc_gen.py +++ b/scripts/mandoc_gen.py @@ -118,6 +118,7 @@ if __name__ == "__main__": if len(sys.argv) > 1: all_files = "" for filename in sys.argv[1:]: + print(f"Making mandoc for {filename}") with open(filename, "r") as f: all_files += f.read() convert_to_markdown(all_files) |
