]> granicus.if.org Git - vim/commitdiff
patch 8.1.2242: creating docs tags uses user preferences v8.1.2242
authorBram Moolenaar <Bram@vim.org>
Sat, 2 Nov 2019 21:45:31 +0000 (22:45 +0100)
committerBram Moolenaar <Bram@vim.org>
Sat, 2 Nov 2019 21:45:31 +0000 (22:45 +0100)
Problem:    Creating docs tags uses user preferences. (Tony Mechelynck)
Solution:   Add "--clean".

runtime/doc/Makefile
src/version.c

index 57aec4e3c62c8960a34bac850b63495b8cea3de6..0cbe0202600ee12b1a607207bf8739961fb34812 100644 (file)
@@ -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!
index c5976759b0365db4966e1f1289edb537f72556d0..704eee0dcfb0dafac54950908172fa3a45878c79 100644 (file)
@@ -741,6 +741,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    2242,
 /**/
     2241,
 /**/