Re: [pacman-dev] [PATCH] doc/.gitignore: ignore all manpages