This is so that when :helptags ALL is run, the generated doc/tags is ignored.
This is useful for people who keep version-controlled git submodules of plugins.
P.S. if you already have a .gitignore with docs/tags, maybe you could put that up instead of this pull request
Have a great day!
This is so that when
:helptags ALL
is run, the generated doc/tags is ignored. This is useful for people who keep version-controlled git submodules of plugins. P.S. if you already have a .gitignore with docs/tags, maybe you could put that up instead of this pull request Have a great day!