commit 8b202031412a5de43a9c8257118ff99a018afabf
author Yee Cheng Chin <ychin.git@gmail.com> Sat Sep 02 16:03:04 2023 +0200
committer Christian Brabandt <cb@256bit.org> Sat Sep 02 16:04:50 2023 +0200
tree 2707d9ffa0dab88ae3cc6595aca0ffd30c850621
parent b2422f75408a41c77620c0d0f956b9728810c6ef

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>

src/version.c

diff --git a/src/version.c b/src/version.c
index ae28864..81bee38 100644
--- a/src/version.c
+++ b/src/version.c
@@ -700,6 +700,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1844,
+/**/
     1843,
 /**/
     1842,