The consensus answer seems to be to use Sandcastle (a bit strange to me, as a third-party product; one might have expected Microsoft to provide the entire toolchain). But I will accept the consensus and try it! Thanks.