diff options
author | Wolfram Schneider <wosch@FreeBSD.org> | 2024-04-08 08:54:14 +0000 |
---|---|---|
committer | Wolfram Schneider <wosch@FreeBSD.org> | 2024-04-08 08:54:14 +0000 |
commit | 6c49b9d7413afbae0e5b41d12f17513a5328608b (patch) | |
tree | bec32c81f78c7fb6e299eedbda9e5fc40877a71a /website/content/en/cgi/man.cgi | |
parent | 7ff1bf254999b93bc86c2ad76532d7a412598655 (diff) | |
download | doc-6c49b9d7413afbae0e5b41d12f17513a5328608b.tar.gz doc-6c49b9d7413afbae0e5b41d12f17513a5328608b.zip |
Diffstat (limited to 'website/content/en/cgi/man.cgi')
-rwxr-xr-x | website/content/en/cgi/man.cgi | 1 |
1 files changed, 1 insertions, 0 deletions
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", |