From df80020caa2ba8f80f78793c6d6b8e919048a6d2 Mon Sep 17 00:00:00 2001 From: "mergify[bot]" <37929162+mergify[bot]@users.noreply.github.com> Date: Tue, 4 Jul 2023 15:15:19 -0400 Subject: [PATCH] Change confusing title between Debian package and Debian platform (#3771) (#3773) Currently Debian does not offer ROS2 packages. Change the title that can be confusing. (cherry picked from commit f86ad6e539522e9d7885efc2206b3f2861c21a7c) Co-authored-by: Quentin Quadrat --- source/Installation/RHEL-Install-RPMs.rst | 4 ++-- source/Installation/Ubuntu-Install-Debians.rst | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/source/Installation/RHEL-Install-RPMs.rst b/source/Installation/RHEL-Install-RPMs.rst index f057115f07..5f2efdf43b 100644 --- a/source/Installation/RHEL-Install-RPMs.rst +++ b/source/Installation/RHEL-Install-RPMs.rst @@ -1,5 +1,5 @@ -RHEL (RPM) -========== +RHEL (RPM packages) +=================== .. contents:: Table of Contents :depth: 2 diff --git a/source/Installation/Ubuntu-Install-Debians.rst b/source/Installation/Ubuntu-Install-Debians.rst index b3e789ca50..25ca2e1071 100644 --- a/source/Installation/Ubuntu-Install-Debians.rst +++ b/source/Installation/Ubuntu-Install-Debians.rst @@ -2,8 +2,8 @@ Installation/Linux-Install-Debians -Ubuntu (Debian) -=============== +Ubuntu (Debian packages) +======================== .. contents:: Table of Contents :depth: 2