[PATCH 0/1] MR470: build: Make doxygen output slightly less verbose.

[Henri Verbeet (＠hverbeet)]

There is perhaps a bit of a trade-off involved here, but with the
current state of things it's fairly hard to notice unexpected issues in
the output.