patch 9.0.1844: doc helptags may not be up to date Commit: https://github.com/vim/vim/commit/8b202031412a5de43a9c8257118ff99a018afabf Author: Yee Cheng Chin <ychin.git@gmail.com> Date: Sat Sep 2 16:03:04 2023 +0200 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>

--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -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: |