git: 633b1b39b8 - main - update to FreeBSD 14
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 30 Mar 2024 17:43:27 UTC
The branch main has been updated by wosch:
URL: https://cgit.FreeBSD.org/doc/commit/?id=633b1b39b84e55c62d82aeb7b64d4e1de739a0d6
commit 633b1b39b84e55c62d82aeb7b64d4e1de739a0d6
Author: Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2024-03-30 17:43:04 +0000
Commit: Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2024-03-30 17:43:04 +0000
update to FreeBSD 14
---
website/content/en/cgi/ports.cgi | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/website/content/en/cgi/ports.cgi b/website/content/en/cgi/ports.cgi
index d2c32d24c2..0b2588d24a 100755
--- a/website/content/en/cgi/ports.cgi
+++ b/website/content/en/cgi/ports.cgi
@@ -57,11 +57,11 @@ sub init_variables {
$portsDatabaseHeadDir = "/usr/local/www/ports";
# Ports database file to use
- if ( -f "$portsDatabaseHeadDir/INDEX-13" ) {
- $ports_database = 'INDEX-13';
+ if ( -f "$portsDatabaseHeadDir/INDEX-14" ) {
+ $ports_database = 'INDEX-14';
}
- elsif ( -f "$portsDatabaseHeadDir/INDEX-12" ) {
- $ports_database = 'INDEX-12';
+ elsif ( -f "$portsDatabaseHeadDir/INDEX-13" ) {
+ $ports_database = 'INDEX-13';
}
else {
$ports_database = 'INDEX';