make: Entering directory '/var/helenos/nightly/tmp-ci/build/doxygen'
make: *** doxygen: No such file or directory.  Stop.
make: Leaving directory '/var/helenos/nightly/tmp-ci/build/doxygen'