Updated the docs for Doxygen 1.8.8.