From 41fde78712667d08379c97aec26c150f25f7767a Mon Sep 17 00:00:00 2001 From: Quentin Quadrat Date: Tue, 4 Jul 2023 21:08:20 +0200 Subject: [PATCH] Change confusing title between Debian package and Debian platform (#3771) Currently Debian does not offer ROS2 packages. Change the title that can be confusing. (cherry picked from commit f86ad6e539522e9d7885efc2206b3f2861c21a7c) --- 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 76f158a9a8..e3eaaf4ff9 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 f878bc43dc..45f2724128 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