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

Would anyone have a problem with generating doxygen man pages on the "make dist" target? The reason I ask, is that having a doxygen makedepend is breaking our little core/extra repo separation, and this is the cleanest fix. It also cleans up building pacman. If you ask me, I don't see a problem with pre-generating them Opinions?