#12 Allow to disable documentation build when doxygen is present

[Diego Elio Pettenò]

The attached patch allows to disable documentation
building also when doxygen is present by
using ./configure --disable-doc.
The API documentation takes a lot of time to build,
and many people won't need it anyway.

HTH,
Diego "Flameeyes" Pettenò
<flameeyes@gentoo.org>

[Diego Elio Pettenò]

100_all_doxygen.patch

[Josh Coalson]

Logged In: YES
user_id=78173

checked in, thanks.
(--disable-doc changed to --disable-doxygen-docs)

--Josh