]> git.ipfire.org Git - thirdparty/vim.git/commit
projects / thirdparty / vim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2422f7) | patch
patch 9.0.1844: doc helptags may not be up to date v9.0.1844
authorYee Cheng Chin <ychin.git@gmail.com>
Sat, 2 Sep 2023 14:03:04 +0000 (16:03 +0200)
committerChristian Brabandt <cb@256bit.org>
Sat, 2 Sep 2023 14:04:50 +0000 (16:04 +0200)
commit8b202031412a5de43a9c8257118ff99a018afabf
tree2707d9ffa0dab88ae3cc6595aca0ffd30c850621tree
parentb2422f75408a41c77620c0d0f956b9728810c6efcommit | diff
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>
.github/workflows/ci.yml diff | blob | blame | history
runtime/doc/tags diff | blob | blame | history
src/version.c diff | blob | blame | history
Mirror of https://github.com/vim/vim.git