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

4 Aug 2018

      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

Version 2.6.1 on FreeBSD.

Thanks,

Yuri