catkin-tools-document (pypi): Plugin for catkin_tools to enable building workspace documentation.
Keywords: catkin