git: 77087a53eb - main - update Debian 12.x manpages

From: Wolfram Schneider <wosch_at_FreeBSD.org>
Date: Sat, 25 Oct 2025 05:28:11 UTC 
The branch main has been updated by wosch:

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

commit 77087a53ebd10d900a17e167807b2bfe3075569c
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2025-10-25 05:27:46 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2025-10-25 05:27:46 +0000

    update Debian 12.x manpages
---
 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 65205c3736..91fbc7179c 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -943,7 +943,7 @@ $manPathDefault = 'FreeBSD 14.3-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.11.0', "$manLocalDir/Debian-12.11.0/man:$manLocalDir/Debian-12.11.0/misc",
+    'Debian 12.12.0', "$manLocalDir/Debian-12.12.0/man:$manLocalDir/Debian-12.12.0/misc",
     'Debian 13.1.0', "$manLocalDir/Debian-13.1.0/man:$manLocalDir/Debian-13.1.0/misc",
     'Debian 14.0 unstable', "$manLocalDir/Debian-unstable/man:$manLocalDir/Debian-unstable/misc",