From 95af2d72de884f5fc7fbb6358948ba2d27109e7f Mon Sep 17 00:00:00 2001 From: Michael Ripperger Date: Thu, 2 Mar 2023 14:59:33 -0600 Subject: [PATCH] Updated documentation --- doc/index.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/index.rst b/doc/index.rst index c6cf53d97..88d6ff36c 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -158,6 +158,8 @@ Required environment variables: * ``ROS_DISTRO``: Version of ROS in all lower case. E.g.: ``indigo``. If it is set in the custom Docker (base) image, it might be omitted in the script call. + * Note: a ROS-independent CI build can be executed if ``ROS_DISTRO=false``. In this case ``/opt/ros/`` will not be sourced or used as the underlay during the build. This can be useful for projects that are used in the ROS ecosystem but do not have an explicit dependency on ROS. + Optional environment variables ++++++++++++++++++++++++++++++++