]> git.ipfire.org Git - thirdparty/vim.git/commit
CI: Check help tags for errors (duplicates, missing, etc) (#13865)
authorChristian Brabandt <cb@256bit.org>
Sun, 14 Jan 2024 18:24:05 +0000 (18:24 +0000)
committerGitHub <noreply@github.com>
Sun, 14 Jan 2024 18:24:05 +0000 (19:24 +0100)
commit8102a4c463c21f3bba4f27f0dbc402b9850de915
treeafa7aa506f3106417d5800fae48d2752934b80a0
parentc92b8bed1fa632569c8358feb3b72dd6a0844ef7
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>
.github/workflows/ci.yml
runtime/doc/maketags.awk