Henri Verbeet : build: Make doxygen output slightly less verbose.