Re: [pacman-dev] [PATCH 1/4] Remove DOXYGEN_MANS. New Doxyfile.in. Add 'make doxygen-*'.