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)
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile
index e10415f..514a012 100644
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@@ -323,10 +323,7 @@
# 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)