CI: regenerate the html documentation on merge requests only

There is no need to do it every night as nothing changes without a merge request.