From 70def98a957620cc325d1ab6ee35f13187598693 Mon Sep 17 00:00:00 2001
From: Bram Moolenaar <Bram@vim.org>
Date: Sat, 2 Nov 2019 22:45:31 +0100
Subject: [PATCH] patch 8.1.2242: creating docs tags uses user preferences

Problem:    Creating docs tags uses user preferences. (Tony Mechelynck)
Solution:   Add "--clean".
---
 runtime/doc/Makefile | 2 +-
 src/version.c        | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile
index 57aec4e3c6..0cbe020260 100644
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@@ -323,7 +323,7 @@ all: tags vim.man evim.man vimdiff.man vimtutor.man xxd.man $(CONVERTED)
 # Use Vim to generate the tags file.  Can only be used when Vim has been
 # compiled and installed.  Supports multiple languages.
 vimtags: $(DOCS)
-	@if test -x $(VIMEXE); then $(VIMEXE) -eX -u doctags.vim; \
+	@if test -x $(VIMEXE); then $(VIMEXE) --clean -eX -u doctags.vim; \
 		else echo "vim executable $(VIMEXE) not found"; fi
 
 # Use "doctags" to generate the tags file.  Only works for English!
diff --git a/src/version.c b/src/version.c
index c5976759b0..704eee0dcf 100644
--- a/src/version.c
+++ b/src/version.c
@@ -741,6 +741,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    2242,
 /**/
     2241,
 /**/