[Spot] --disable-doxygen doesn't disable doxygen
adl at lrde.epita.fr
Fri Aug 10 21:12:28 CEST 2018
On Fri, Aug 10, 2018 at 7:09 PM Yuri <yuri at rawbw.com> wrote:
> gmake: Leaving directory
> rm -rf spot.html spot.latex
> gmake: doxygen: Command not found
Thanks for the report. I can see that --disable-doxygen is
unexpectedly a synonym for --enable-doxygen... I'm fixing this.
However a workaround is simply to not use any of those option. The
default is to not use Doxygen.
More information about the Spot