use keyword [build-doxygen] to trigger doc push