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

Yuri yuri at rawbw.com
Fri Aug 10 21:32:36 CEST 2018

On 8/10/18 12:12 PM, Alexandre Duret-Lutz wrote:
> However a workaround is simply to not use any of those option.  The
> default is to not use Doxygen.

Yes, thanks, I found this workaround myself too. -)


More information about the Spot mailing list