doc/tags added to .gitignore