diff options
Diffstat (limited to 'tooling')
| -rwxr-xr-x | tooling/mk_htman.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tooling/mk_htman.py b/tooling/mk_htman.py index 8298559b..5488d478 100755 --- a/tooling/mk_htman.py +++ b/tooling/mk_htman.py @@ -5,5 +5,5 @@ import sys, os if __name__ == "__main__": if len(sys.argv) != 2: - print("Usage: manual.py <manual_path>") + print("INFO: manual.py <manual_path>") sys.exit(os.EX_CONFIG) |