patch 9.0.1844: doc helptags may not be up to date

Problem:  doc helptags may not be up to date
Solution: Add CI jobs to verify helptags are updated

Also, re-generate the tags file with updated list so it will pass CI.

closes: #13012

Signed-off-by: Christian Brabandt <cb@256bit.org>
This commit is contained in:
Yee Cheng Chin
2023-09-02 16:03:04 +02:00
committed by Christian Brabandt
parent b2422f7540
commit 8b20203141
3 changed files with 10 additions and 0 deletions

View File

@ -242,6 +242,12 @@ jobs:
do_test() { sg audio "sg $(id -gn) '$*'"; }
do_test make ${SHADOWOPT} ${TEST}
- name: Vim tags
if: contains(matrix.extra, 'vimtags')
run: |
# This will exit with an error code if the generated vim tags differs from source.
git diff --exit-code -- runtime/doc/tags
- name: Generate gcov files
if: matrix.coverage
run: |