final commit, HTML doc generated