Doxygen not required for building Debian package.