Re: [pacman-dev] Generate doxygen man pages on "make dist"