git: 6c49b9d741 - main - add Debian unstable manual pages

From: Wolfram Schneider <wosch_at_FreeBSD.org>
Date: Mon, 08 Apr 2024 08:54:41 UTC 
The branch main has been updated by wosch:

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

commit 6c49b9d7413afbae0e5b41d12f17513a5328608b
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2024-04-08 08:54:14 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2024-04-08 08:54:14 +0000

    add Debian unstable manual pages
---
 website/content/en/cgi/man.cgi | 1 +
 1 file changed, 1 insertion(+)

diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi
index ea5dca80ec..dc6744953a 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -814,6 +814,7 @@ $manPathDefault = 'FreeBSD 14.0-RELEASE and Ports';
     '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",
+    'Debian 13.0 unstable', "$manLocalDir/Debian-unstable/man:$manLocalDir/Debian-unstable/misc",
 
     'Ubuntu 20.04 jammy', "$manLocalDir/Ubuntu-jammy-20.04/man:$manLocalDir/Ubuntu-jammy-20.04/misc",