git: 756e6af3e3 - main - add Debian 2.0, 9.x, 10.x, 11.x, 12.x manual pages, update 7.x & 8.x

The branch main has been updated by wosch:

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

commit 756e6af3e3306b6a7c59e5d25fffeb45e0e4fccd
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2024-04-04 19:04:30 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2024-04-04 19:04:30 +0000

    add Debian 2.0, 9.x, 10.x, 11.x, 12.x manual pages, update 7.x & 8.x
---
 website/content/en/cgi/man.cgi | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi
index f8a874892d..39e43913be 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -800,13 +800,18 @@ $manPathDefault = 'FreeBSD 14.0-RELEASE and Ports';
 
     'SuSE ES 10 SP1', "$manLocalDir/SLES-10-SP1-i386",
 
+    'Debian 2.0.0', "$manLocalDir/Debian-2.0r0/man:$manLocalDir/Debian-2.0r0/misc",
     'Debian 2.2.7', "$manLocalDir/Debian-2.2r7/man:$manLocalDir/Debian-2.2r7/misc",
     'Debian 3.1.8', "$manLocalDir/Debian-31r8/man:$manLocalDir/Debian-31r8/misc",
     'Debian 4.0.9', "$manLocalDir/Debian-40r9/man:$manLocalDir/Debian-40r9/misc",
-    'Debian 5.0.10', "$manLocalDir/Debian-5.0.10/man:$manLocalDir/Debian-5.0.10/misc",
+    'Debian 5.0.10', "$manLocalDir/Debian-5010/man:$manLocalDir/Debian-5010/misc",
     'Debian 6.0.10', "$manLocalDir/Debian-6.0.10/man:$manLocalDir/Debian-6.0.10/misc",
-    'Debian 7.8.0', "$manLocalDir/Debian-7.8.0/man:$manLocalDir/Debian-7.8.0/misc",
-    'Debian 8.1.0', "$manLocalDir/Debian-8.1.0/man:$manLocalDir/Debian-8.1.0/misc",
+    'Debian 7.11.0', "$manLocalDir/Debian-7.11.0/man:$manLocalDir/Debian-7.11.0/misc",
+    'Debian 8.11.1', "$manLocalDir/Debian-8.11.1/man:$manLocalDir/Debian-8.11.1/misc",
+    'Debian 9.13.0', "$manLocalDir/Debian-9.13.0/man:$manLocalDir/Debian-9.13.0/misc",
+    'Debian 10.13.0', "$manLocalDir/Debian-10.13.0/man:$manLocalDir/Debian-10.13.0/misc",
+    'Debian 11.9.0', "$manLocalDir/Debian-11.9.0/man:$manLocalDir/Debian-11.9.0/misc",
+    'Debian 12.5.0', "$manLocalDir/Debian-12.5.0/man:$manLocalDir/Debian-12.5.0/misc",
 
     'DragonFly 6.4.0',  "$manLocalDir/DragonFly-6.4.0",
     'DragonFly 5.8.3',  "$manLocalDir/DragonFly-5.8.3",
@@ -1052,11 +1057,11 @@ while ( ( $key, $val ) = each %manPath ) {
     'slackware',  'Linux Slackware 3.1',
     'redhat',     'Red Hat 9',
     'suse',       'SuSE 11.3',
-    'debian',     'Debian 7.7.0',
+    'debian',     'Debian 12.5.0',
     'dragonfly',  'DragonFly 6.4.0',
     'centos',     'CentOS 7.9',
     'rocky',      'Rocky 9.3',
-    'linux',      'Debian 7.7.0',
+    'linux',      'Debian 12.5.0',
     'darwin',     'Darwin 8.0.1/ppc',
     'opendarwin', 'OpenDarwin 7.2.1',
     'macosx',     'Darwin 8.0.1/ppc',