Update doc/Doxyfile