test checking of doxygen html files