diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-01-21 22:13:42 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-01-21 22:13:42 +0100 |
commit | 2387773d933bd6c483e44803db8ec79737ecf7ed (patch) | |
tree | 7c870c0ad9edd8698d42ea7b0123753c32115454 /runtime/doc/doctags.vim | |
parent | f0764e8bb6511aa3bf1d6f52852b4284676ee661 (diff) |
patch 8.2.0140: CI does not test building doc tagsv8.2.0140
Problem: CI does not test building doc tags.
Solution: Add the vimtags/gcc build. Cleanup showing version. (Ozaki Kiichi,
closes #5513)
Diffstat (limited to 'runtime/doc/doctags.vim')
-rw-r--r-- | runtime/doc/doctags.vim | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/runtime/doc/doctags.vim b/runtime/doc/doctags.vim index 7dfbcc0ada..833dbefa62 100644 --- a/runtime/doc/doctags.vim +++ b/runtime/doc/doctags.vim @@ -2,5 +2,12 @@ " " Usage: vim -eX -u doctags.vim -helptags ++t . +try + helptags ++t . + echo 'help tags updated' +catch + echo v:exception + echo 'help tags failed update' +endtry +echo '' qa! |