diff options
author | Wolfram Schneider <wosch@FreeBSD.org> | 2024-04-08 09:23:40 +0000 |
---|---|---|
committer | Wolfram Schneider <wosch@FreeBSD.org> | 2024-04-08 09:23:40 +0000 |
commit | 6cf39d86c1d47e8b23a7a4f9ebebb16aa40fb666 (patch) | |
tree | 4b6382eca328ae017f2ee1d6dbc1e26261070b55 | |
parent | 659cdb9574254f373a158e8f7a6b8ddf8580b395 (diff) | |
download | doc-6cf39d86c1d47e8b23a7a4f9ebebb16aa40fb666.tar.gz doc-6cf39d86c1d47e8b23a7a4f9ebebb16aa40fb666.zip |
add Ubuntu 23.10 mantic manual pages
-rwxr-xr-x | website/content/en/cgi/man.cgi | 2 |
1 files changed, 2 insertions, 0 deletions
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", |