diff options
| author | Bram Moolenaar <Bram@vim.org> | 2019-11-01 19:46:22 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2019-11-01 19:46:22 +0100 |
| commit | 757bd2ea49585ea9896d6df707c68b4793017039 (patch) | |
| tree | ebb8ec07fe212632a39e91af67318877396835d5 /runtime | |
| parent | 7a641ca1e113c813fc39cca26f69cd6fc19f71c2 (diff) | |
patch 8.1.2238: error in docs tags goes unnoticedv8.1.2238
Problem: Error in docs tags goes unnoticed.
Solution: Adjust tags build command. (Ken Takata, closes #5158)
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/doc/Makefile | 2 | ||||
| -rw-r--r-- | runtime/doc/doctags.vim | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile index 4a1ea03fd7..443a27a618 100644 --- a/runtime/doc/Makefile +++ b/runtime/doc/Makefile @@ -323,7 +323,7 @@ all: tags vim.man evim.man vimdiff.man vimtutor.man xxd.man $(CONVERTED) # Use Vim to generate the tags file. Can only be used when Vim has been # compiled and installed. Supports multiple languages. vimtags: $(DOCS) - $(VIMEXE) -u NONE -esX -c "helptags ++t ." -c quit + $(VIMEXE) -eX -u doctags.vim # Use "doctags" to generate the tags file. Only works for English! tags: doctags $(DOCS) diff --git a/runtime/doc/doctags.vim b/runtime/doc/doctags.vim new file mode 100644 index 0000000000..7dfbcc0ada --- /dev/null +++ b/runtime/doc/doctags.vim @@ -0,0 +1,6 @@ +" This script makes a tags file for help text. +" +" Usage: vim -eX -u doctags.vim + +helptags ++t . +qa! |