From a48b7bd73a3972958274d19714c36028a8ec686a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christoph=20Fr=C3=B6hlich?= Date: Thu, 22 Jun 2023 10:18:31 +0200 Subject: [PATCH] Update example_9/doc/userdoc.rst Co-authored-by: Reza Kermani --- example_9/doc/userdoc.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/example_9/doc/userdoc.rst b/example_9/doc/userdoc.rst index e88497953..915067350 100644 --- a/example_9/doc/userdoc.rst +++ b/example_9/doc/userdoc.rst @@ -14,7 +14,7 @@ Gazebo Classic is used for this purpose. Gazebo Classic should be automatically installed. * If you have installed and compiled this repository locally, you can directly use the commands below. - * If you have installed it via the provided docker image: To run the first two steps of this example (without Gazebo Classic), use the commands as described with :ref:`ros2_control_demos_install`. To run the later steps using Gazebo Classic, execute + * If you have installed it via the provided docker image: To run the first two steps of this example (without Gazebo Classic), use the commands as described with :ref:`ros2_control_demos_install`. To run the later steps using Gazebo Classic, execute .. code::