From 2af43aa235616c3baf70f462aaef565b57e36e88 Mon Sep 17 00:00:00 2001 From: Uwe Arzt Date: Sat, 3 Jun 2023 18:56:14 +0200 Subject: [PATCH] iron docker is working too --- docs/building.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/building.md b/docs/building.md index fac84da04..8bcfe9b81 100644 --- a/docs/building.md +++ b/docs/building.md @@ -56,7 +56,7 @@ Build the Docker image with ```shell # Make sure to run this in the workspace directory -# ROS_DISTRO can be humble|rolling +# ROS_DISTRO can be humble|iron|rolling docker build -f src/ros2_rust/Dockerfile --build-arg "ROS_DISTRO=humble" -t ros2_rust_dev ```