0
0
mirror of https://github.com/vim/vim.git synced 2025-09-26 04:04:07 -04:00

patch 8.1.2238: error in docs tags goes unnoticed

Problem:    Error in docs tags goes unnoticed.
Solution:   Adjust tags build command. (Ken Takata, closes #5158)
This commit is contained in:
Bram Moolenaar
2019-11-01 19:46:22 +01:00
parent 7a641ca1e1
commit 757bd2ea49
5 changed files with 14 additions and 2 deletions

View File

@@ -741,6 +741,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
2238,
/**/
2237,
/**/