Actually check the number of warnings from Doxygen