git: d0cf5e756f - main - update name for Red Hat 9.0

From: Wolfram Schneider <wosch_at_FreeBSD.org>
Date: Wed, 10 Jul 2024 14:55:48 UTC 
The branch main has been updated by wosch:

URL: https://cgit.FreeBSD.org/doc/commit/?id=d0cf5e756f33a815019c26687258c0cddee2bff7

commit d0cf5e756f33a815019c26687258c0cddee2bff7
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2024-07-10 14:54:59 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2024-07-10 14:55:35 +0000

    update name for Red Hat 9.0
---
 website/content/en/cgi/man.cgi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi
index b4efc32163..3ae18539dc 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -730,7 +730,7 @@ $manPathDefault = 'FreeBSD 14.1-RELEASE and Ports';
     'Red Hat 7.2', "$manLocalDir/RedHat-7.2-i386",
     'Red Hat 7.3', "$manLocalDir/RedHat-7.3-i386",
     'Red Hat 8.0', "$manLocalDir/RedHat-8.0-i386",
-    'Red Hat 9',   "$manLocalDir/RedHat-9-i386",
+    'Red Hat 9.0', "$manLocalDir/RedHat-9.0-i386",
 
     'CentOS 3.9', "$manLocalDir/CentOS-3.9",
     'CentOS 4.8', "$manLocalDir/CentOS-4.8",