Adding ros_dds_proxies to documentation index for groovy
Merge pull request #3421 from ronnyh/master

Adding ros_dds_proxies to documentation index for groovy