git: d0cf5e756f - main - update name for Red Hat 9.0
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
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",