Adding v4r repos to documentation index for distro