fix for doxygen 1.8.7

Earlier versions apparently used HTML as default if no output format was
specified. 1.8.7 no longer does that.

Change-Id: Ia8f908f54b344530e1b50e8800c032f782fb36e9