mirror of
https://github.com/vim/vim.git
synced 2026-02-11 17:54:06 +02:00
8b20203141
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>