diff options
author | Wolfram Schneider <wosch@FreeBSD.org> | 2022-03-22 10:00:19 +0000 |
---|---|---|
committer | Wolfram Schneider <wosch@FreeBSD.org> | 2022-03-22 10:00:19 +0000 |
commit | 85206524383da157c1be60fd887a71b6592d7950 (patch) | |
tree | 7fd36a17912c5bd6005b8cf58666ad73d34179b6 | |
parent | 0e8016e2bca21630ab6a1af91dade88e1799fcf4 (diff) | |
download | doc-85206524383da157c1be60fd887a71b6592d7950.tar.gz doc-85206524383da157c1be60fd887a71b6592d7950.zip |
add forgotten 'FreeBSD Ports 12.3'
PR: 262686
Reported by: PauAmma
-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 64a68ed144..510bdde1f3 100755 --- a/website/content/en/cgi/man.cgi +++ b/website/content/en/cgi/man.cgi @@ -419,6 +419,7 @@ $manPathDefault = 'FreeBSD 13.0-RELEASE and Ports'; 'FreeBSD Ports 12.0', "$manLocalDir/FreeBSD-ports-12.0-RELEASE/man:$manLocalDir/FreeBSD-ports-12.0-RELEASE/misc", 'FreeBSD Ports 12.1', "$manLocalDir/FreeBSD-ports-12.1-RELEASE/man:$manLocalDir/FreeBSD-ports-12.1-RELEASE/misc", 'FreeBSD Ports 12.2', "$manLocalDir/FreeBSD-ports-12.2-RELEASE/man:$manLocalDir/FreeBSD-ports-12.2-RELEASE/misc", + 'FreeBSD Ports 12.3', "$manLocalDir/FreeBSD-ports-12.3-RELEASE/man:$manLocalDir/FreeBSD-ports-12.3-RELEASE/misc", 'FreeBSD Ports 13.0', "$manLocalDir/FreeBSD-ports-13.0-RELEASE/man:$manLocalDir/FreeBSD-ports-13.0-RELEASE/misc", |