changeset 18510:b832fc67f84d v8.1.2249

patch 8.1.2249: "make vimtags" does not print any message Commit: https://github.com/vim/vim/commit/d047840ce4b770a86bacab0d62e72d0f61a2b8ab Author: Bram Moolenaar <Bram@vim.org> Date: Sun Nov 3 21:46:19 2019 +0100 patch 8.1.2249: "make vimtags" does not print any message Problem: "make vimtags" does not print any message. Solution: Add a message that the tags have been updated.
author Bram Moolenaar <Bram@vim.org>
date Sun, 03 Nov 2019 22:00:03 +0100
parents 2fa136c5b011
children 96e8a23cf3e8
files runtime/doc/Makefile src/version.c
diffstat 2 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@@ -324,8 +324,9 @@ all: tags vim.man evim.man vimdiff.man v
 # compiled and installed.  Supports multiple languages.
 vimtags: $(DOCS)
 	@if which $(VIMEXE) >/dev/null; then \
-		$(VIMEXE) --clean -eX -u doctags.vim >/dev/null; \
-		else echo "vim executable $(VIMEXE) not found"; fi
+	  $(VIMEXE) --clean -eX -u doctags.vim >/dev/null; \
+	  echo "help tags updated"; \
+	  else echo "vim executable $(VIMEXE) not found; help tags not updated"; fi
 
 # Use "doctags" to generate the tags file.  Only works for English!
 tags: doctags $(DOCS)
--- 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 */
 /**/
+    2249,
+/**/
     2248,
 /**/
     2247,