10 Aug
2018
10 Aug
'18
9:12 p.m.
On Fri, Aug 10, 2018 at 7:09 PM Yuri <yuri(a)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