commit | c91e3116f40f9d7867cda8952408b1eb182b87bf | [log] [tgz] |
---|---|---|
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | Thu Aug 27 20:18:05 2020 +0200 |
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | Thu Aug 27 21:30:23 2020 +0200 |
tree | 360c2b73bdaa0c68514b878665abff5d2b99566c | |
parent | 04aa6fa8cd08546e8ae6257db60174ad6d7e3689 [diff] [blame] |
update-dbus-docs: add hint
diff --git a/tools/update-dbus-docs.py b/tools/update-dbus-docs.py index 0bbc4aa..3500d9c 100755 --- a/tools/update-dbus-docs.py +++ b/tools/update-dbus-docs.py
@@ -308,4 +308,5 @@ print(f'{p:{mlen + 1}} {t - m}/{t} {c}') if opts.test and outdated: - exit(f'Outdated pages: {", ".join(outdated)}') + exit(f'Outdated pages: {", ".join(outdated)}\n' + f'Hint: ninja -C {opts.build_dir} man/update-dbus-docs')