[Spot] --disable-doxygen doesn't disable doxygen