ros-infrastructure/jenkins_scripts — pull request #55 by dirk-thomas (2013-11-11 18:46:21+00:00)
Title: modify rsync of api doc to use --delete

Addresses cleanup of ros-infrastructure/rosdoc_lite#41.

@tfoote Please review.