build: merge lists of HTML documentation targets