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/doc/doctags.vim | |
| 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/doc/doctags.vim')
| -rw-r--r-- | runtime/doc/doctags.vim | 6 |
1 files changed, 6 insertions, 0 deletions
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! |