Adding my_repo_name to documentation index for distro
Made changes requested by dirk-thomas
Merge pull request #5030 from nwotero/master

Adding my_repo_name to documentation index for distro