fix .gitignore for gzipped man pages