ros-infrastructure/rep — pull request #39 by dirk-thomas (2013-04-16 22:07:42+00:00)
Title: update rep 137

* doc repos are now specified in a single file
* renamed build file into source file
* split build file in specific types for release, source and doc

@tfoote @wjwwood Please review