diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-05-07 14:01:09 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-05-07 14:01:09 +0200 |
commit | 06689b8d11abaab4003f5b459b53ecc52c7be14c (patch) | |
tree | d351be45a1ca49645420537348b98426c86c9e75 /tools | |
parent | dd1e33c8dc30c4d30e65688dabff7c66a456675e (diff) | |
download | systemd-06689b8d11abaab4003f5b459b53ecc52c7be14c.tar.gz |
meson: rename make-man-rules.py to update-man-rules.py
The name of the helper didn't match the name of the meson target, which was
always confusing me. With this change, we consistenly use "update" to
re-generate things which we otherwise keep in vc, and "make" for things
which are generated during each build.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/update-man-rules.py (renamed from tools/make-man-rules.py) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make-man-rules.py b/tools/update-man-rules.py index d86afcbc15..c404579a2a 100755 --- a/tools/make-man-rules.py +++ b/tools/update-man-rules.py @@ -50,7 +50,7 @@ def mjoin(files): return ' \\\n\t'.join(sorted(files) or '#') MESON_HEADER = '''\ -# Do not edit. Generated by make-man-rules.py. +# Do not edit. Generated by update-man-rules.py. # Update with: # ninja -C build man/update-man-rules manpages = [''' |