XML docs: Make xmllint-* targets a dependency of html-chunked-*/html-single-*. Since the xmllint-* targets are phony, they should never be a dependency of real targets, so make them a dependency of the phony html-chunked-* / html-single-* targets instead. This is just as correct, but now the docs are regenerated when dependencies change and not with every make invocation.