diff runtime/doc/Makefile @ 19161:27ff44268da5 v8.2.0140

patch 8.2.0140: CI does not test building doc tags Commit: https://github.com/vim/vim/commit/2387773d933bd6c483e44803db8ec79737ecf7ed Author: Bram Moolenaar <Bram@vim.org> Date: Tue Jan 21 22:13:42 2020 +0100 patch 8.2.0140: CI does not test building doc tags Problem: CI does not test building doc tags. Solution: Add the vimtags/gcc build. Cleanup showing version. (Ozaki Kiichi, closes #5513)
author Bram Moolenaar <Bram@vim.org>
date Tue, 21 Jan 2020 22:15:04 +0100
parents 59c56c97049d
children 94eda51ba9ba
line wrap: on
line diff
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@@ -323,10 +323,7 @@ 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 command -v $(VIMEXE); then \
-	    $(VIMEXE) --clean -eX -u doctags.vim >/dev/null && \
-	      echo "help tags updated"; \
-	  else echo "vim executable $(VIMEXE) not found; help tags not updated"; fi
+	@$(VIMEXE) --clean -esX -V1 -u doctags.vim
 
 # Use "doctags" to generate the tags file.  Only works for English!
 tags: doctags $(DOCS)