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>
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 078e12c..036b36a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -242,6 +242,12 @@
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: |