Add generated man pages to .gitignore.