search

ros-infrastructure / rosindex

The source code for generating index.ros.org
https://index.ros.org
GNU General Public License v3.0
12 stars 24 forks source link

point documentation link to docs.ros.org #328

Closed mikeferguson closed 7 months ago

mikeferguson commented 7 months ago

Landing page at docs.ros.org will route you appropriately to the distro of your choosing - including ROS 1 if you so wish.