Update doxygen files (don't remember what)