git: 3f9e57dc3f - main - minor update for Debian manpages

The branch main has been updated by wosch:

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

commit 3f9e57dc3f21f0529927a20ebb04244688a69d31
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2026-07-04 17:50:20 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2026-07-04 17:50:20 +0000

    minor update for Debian manpages
---
 website/content/en/cgi/man.cgi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi
index 49d13488b9..8147236701 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -988,8 +988,8 @@ $manPathDefault = 'FreeBSD 15.1-RELEASE and Ports.quarterly';
     '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.13.0', "$manLocalDir/Debian-12.13.0/man:$manLocalDir/Debian-12.13.0/misc",
-    'Debian 13.4.0', "$manLocalDir/Debian-13.4.0/man:$manLocalDir/Debian-13.4.0/misc",
+    'Debian 12.14.0', "$manLocalDir/Debian-12.14.0/man:$manLocalDir/Debian-12.14.0/misc",
+    'Debian 13.5.0', "$manLocalDir/Debian-13.5.0/man:$manLocalDir/Debian-13.5.0/misc",
     'Debian 14.0 unstable', "$manLocalDir/Debian-unstable/man:$manLocalDir/Debian-unstable/misc",
 
     'Ubuntu 23.10 mantic', "$manLocalDir/Ubuntu-mantic-23.10/man:$manLocalDir/Ubuntu-mantic-23.10/misc",
@@ -1278,7 +1278,7 @@ while ( ( $key, $val ) = each %manPath ) {
     'slackware',  'Linux Slackware 3.1',
     'redhat',     'Red Hat 9.0',
     'suse',       'SuSE 11.3',
-    'debian',     'Debian 13.4.0',
+    'debian',     'Debian 13.5.0',
     'ubuntu',     'Ubuntu 26.04 resolute',
     'dragonfly',  'DragonFly 6.4.2',
     'centos',     'CentOS 7.9',