update .gitignore for new man pages