Update doxygen-generated documentation