diff options
author | Christian Brabandt <cb@256bit.org> | 2024-01-14 18:24:05 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-14 19:24:05 +0100 |
commit | 8102a4c463c21f3bba4f27f0dbc402b9850de915 (patch) | |
tree | afa7aa506f3106417d5800fae48d2752934b80a0 /src/version.c | |
parent | c92b8bed1fa632569c8358feb3b72dd6a0844ef7 (diff) |
CI: Check help tags for errors (duplicates, missing, etc) (#13865)
- Run the doc make html awk script, which also checks, that all
referenced help tags exists.
- Run the doc maketags awk script, which checks for duplicates
- in case of any error in the previous two steps, exit the CI with
an error and show the errors.log file, that is generated by the
previous 2 steps
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to 'src/version.c')
0 files changed, 0 insertions, 0 deletions