Update website from regenerated doxygen