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

Alexandre Duret-Lutz 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[5]: Leaving directory
> '/wrkdirs/usr/ports/math/spot/work/spot-2.6.1/doc'
> rm -rf spot.html spot.latex
> doxygen
> gmake[4]: 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 mailing list