Added doxygen 1.8.8.