ignoring helptags
Merge branch 'master' of https://github.com/filipebarros/dotfiles

* 'master' of https://github.com/filipebarros/dotfiles:
  ignoring helptags