On Fri, Aug 10, 2018 at 7:09 PM Yuri <yuri@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. Alexandre