.gitignore /doc/tags

Ignore user generated helptags