[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. -)


Yuri



More information about the Spot mailing list