gazebo add distro names

roboticslab-uc3m · Dec 3, 2023 · cde571f · cde571f
1 parent 40f811a
commit cde571f
Showing 1 changed file with 17 additions and 1 deletion.
diff --git a/docs/install-gazebo.md b/docs/install-gazebo.md
@@ -19,7 +19,23 @@ You may also be interested in:
 sudo apt install libgazebo-dev
 ```
 
-## Install Gazebo (Ubuntu 18.04 Bionic and Ubuntu 20.04 Focal)
+## Install Gazebo (Ubuntu 20.04 Focal)
+
+Note that Gazebo 9 (Classic) is also avaliable for this distro.
+
+Install Gazebo 11 (Classic) via:
+
+```bash
+sudo apt install gazebo11
+```
+
+You may also be interested in:
+
+```bash
+sudo apt install libgazebo11-dev
+```
+
+## Install Gazebo (Ubuntu 18.04 Bionic)
 
 Install Gazebo 9 (Classic) via: