diff options
Diffstat (limited to 'scripts')
| -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) |