git: a7cd9299d6 - main - update the manpages for Debian 12.x.y

The branch main has been updated by wosch:

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

commit a7cd9299d64e0a9ef33f9010906cc392b8386443
Author:     Wolfram Schneider <[email protected]>
AuthorDate: 2026-01-24 11:18:14 +0000
Commit:     Wolfram Schneider <[email protected]>
CommitDate: 2026-01-24 11:18:14 +0000

    update the manpages for Debian 12.x.y
---
 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 4e47038a2c..35a9fc14d0 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -958,7 +958,7 @@ $manPathDefault = 'FreeBSD 15.0-RELEASE and Ports';
     '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.11.0', "$manLocalDir/Debian-11.11.0/man:$manLocalDir/Debian-11.11.0/misc",
-    'Debian 12.12.0', "$manLocalDir/Debian-12.12.0/man:$manLocalDir/Debian-12.12.0/misc",
+    'Debian 12.13.0', "$manLocalDir/Debian-12.13.0/man:$manLocalDir/Debian-12.13.0/misc",
     'Debian 13.3.0', "$manLocalDir/Debian-13.3.0/man:$manLocalDir/Debian-13.3.0/misc",
     'Debian 14.0 unstable', "$manLocalDir/Debian-unstable/man:$manLocalDir/Debian-unstable/misc",