gitignore: properly ignore generated man pages
commit9e1d691e82ea702d79a0e44e8a2cbf2c31dde164
authorH. Peter Anvin <hpa@linux.intel.com>
Thu, 18 Feb 2016 06:04:45 +0000 (17 22:04 -0800)
committerH. Peter Anvin <hpa@linux.intel.com>
Thu, 18 Feb 2016 06:06:20 +0000 (17 22:06 -0800)
tree559b86a008adea83e87765f3a0ac5899b682cb72
parentf9be8c317909ad5c47d3271c230fe6b967dc0bf0
gitignore: properly ignore generated man pages

Fix the .gitignore files so man pages are correctly ignored.

Signed-off-by: H. Peter Anvin <hpa@linux.intel.com>
.gitignore