ros/catkin — pull request #357 by tkruse (2013-02-07 14:07:20+00:00)
Title: fixes to documentation of catkin

mostly around script installs