Fix docs build into another (local) repo, for publishing as GitHub Pages.