Update doxygen-generated documenation