.gitignore: Don't list generated man pages as untracked files