#12 Allow to disable documentation build when doxygen is present

closed-fixed
Josh Coalson
None
5
2006-05-19
2005-11-24
Diego Elio Pettenò
No

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>

Discussion

  • Diego Elio Pettenò
    Diego Elio Pettenò
    2005-11-24

    100_all_doxygen.patch

     
    Attachments
    100_all_doxygen.patch

  • Josh Coalson
    Josh Coalson
    2006-05-19

    Logged In: YES
    user_id=78173

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

    --Josh

     

  • Josh Coalson
    Josh Coalson
    2006-05-19

    • assigned_to: nobody --> jcoalson
    • status: open --> closed-fixed