git: 633b1b39b8 - main - update to FreeBSD 14

From: Wolfram Schneider <wosch_at_FreeBSD.org>
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';