Use new repo name for doc generation