Build documentation in multiple repos into one site.