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

[Aaron Griffin]

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?