On 04/06/13 12:37, Michael Stahl wrote: > if you don't want to build or download latest doxygen, just use > --disable-doxygen; it is only really required for release builds. oops, that should of course be "--without-doxygen"