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

Yuri yuri at rawbw.com
Sat Aug 4 23:10:26 CEST 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



More information about the Spot mailing list