git: 6cf39d86c1 - main - add Ubuntu 23.10 mantic manual pages

The branch main has been updated by wosch:

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

commit 6cf39d86c1d47e8b23a7a4f9ebebb16aa40fb666
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2024-04-08 09:23:40 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2024-04-08 09:23:40 +0000

    add Ubuntu 23.10 mantic manual pages
---
 website/content/en/cgi/man.cgi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi
index 4ee7372db0..3c3fc5868b 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -816,6 +816,8 @@ $manPathDefault = 'FreeBSD 14.0-RELEASE and Ports';
     '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 23.10 mantic', "$manLocalDir/Ubuntu-mantic-23.10/man:$manLocalDir/Ubuntu-mantic-23.10/misc",
+
     'Ubuntu 22.04 jammy', "$manLocalDir/Ubuntu-jammy-22.04/man:$manLocalDir/Ubuntu-jammy-22.04/misc",
     'Ubuntu 20.04 focal', "$manLocalDir/Ubuntu-focal-20.04/man:$manLocalDir/Ubuntu-focal-20.04/misc",
     'Ubuntu 18.04 bionic', "$manLocalDir/Ubuntu-bionic-18.04/man:$manLocalDir/Ubuntu-bionic-18.04/misc",