doc: correct output format for sphinx-based build

doxygen will still be used to generate XML output for API documentation of source files. The XML is then used to generate HTML pages.

obviously wrong, since the output format is not always HTML