> It seems a bit unfortunate how the build system is conflating > aspects together. The --with-doc option is intended to say "the > admin wants documentation in that output format". Whether the tools > are available to convert files to those formats is a completely > different question. The proper logic would be: [...]
This is stuff for the new build system. Please don't invest time into
the current one, since we are going to abandon this right after the
release.
Werner
