Fixes broken wstool link. (#29)

master
Damon Kohler 2016-08-25 15:39:39 +02:00 committed by GitHub
parent 6695b0406b
commit ff65a1e7f1
1 changed files with 3 additions and 3 deletions

View File

@ -84,11 +84,11 @@ Standalone Workspace
catkin_make_isolated catkin_make_isolated
source devel_isolated/setup.bash source devel_isolated/setup.bash
Using ``wstool`` Using wstool
---------------- ------------
If ``cartographer_ros`` is to be used as part of a pre-existing If ``cartographer_ros`` is to be used as part of a pre-existing
workspace/existing project, using `wstool <http://wiki.ros.org/wstool>` is workspace/existing project, using `wstool <http://wiki.ros.org/wstool>`_ is
recommended. recommended.
.. code-block:: bash .. code-block:: bash