catkin-sphinx (pypi): Sphinx extension for Catkin projects
Keywords: ROS