diff options
| author | Thomas Waldmann <tw@waldmann-edv.de> | 2024-01-30 23:21:04 +0100 |
|---|---|---|
| committer | Thomas Waldmann <tw@waldmann-edv.de> | 2024-02-09 17:37:44 +0100 |
| commit | 4d424de69ea6fe9c8ca3b4f00032b2e16827f665 (patch) | |
| tree | 042e204094cb500ca3617a2f6c812ce7df14713b /scripts | |
| parent | 59bca06630e3b5e72aa3968257b5c71b9c198c2a (diff) | |
scripts: update docs about make.py
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/make.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/make.py b/scripts/make.py index 9e435a651..7bb3ce141 100644 --- a/scripts/make.py +++ b/scripts/make.py @@ -535,8 +535,8 @@ def usage(): textwrap.dedent( """ Usage: - python scripts/gendocs.py build_usage # build usage documentation - python scripts/gendocs.py build_man # build man pages + python scripts/make.py build_usage # build usage documentation + python scripts/make.py build_man # build man pages """ ) ) |