changeset 18506:b065181f0408 v8.1.2247

patch 8.1.2247: "make vimtags" does not work in runtime/doc Commit: https://github.com/vim/vim/commit/e890b9f5dd3ae76e301b2df7f3151366acaba5dc Author: Bram Moolenaar <Bram@vim.org> Date: Sun Nov 3 18:38:47 2019 +0100 patch 8.1.2247: "make vimtags" does not work in runtime/doc Problem: "make vimtags" does not work in runtime/doc. Solution: Test existence with "which" instead of "test -x". (Ken Takata)
author Bram Moolenaar <Bram@vim.org>
date Sun, 03 Nov 2019 18:45:03 +0100
parents 81ee9de74877
children 5cab7eef0829
files runtime/doc/Makefile src/version.c
diffstat 2 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@@ -323,7 +323,8 @@ all: tags vim.man evim.man vimdiff.man v
 # 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) --clean -eX -u doctags.vim; \
+	@if which $(VIMEXE) >/dev/null; then \
+		$(VIMEXE) --clean -eX -u doctags.vim >/dev/null; \
 		else echo "vim executable $(VIMEXE) not found"; fi
 
 # Use "doctags" to generate the tags file.  Only works for English!
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    2247,
+/**/
     2246,
 /**/
     2245,