git: 5ea550c257 - main - upgrade default ports INDEX file to INDEX-13

The branch main has been updated by wosch:

URL: https://cgit.FreeBSD.org/doc/commit/?id=5ea550c25772fe30bbd253cf3aeccbd03fb26510

commit 5ea550c25772fe30bbd253cf3aeccbd03fb26510
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2022-01-01 11:50:44 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2022-01-01 11:50:44 +0000

    upgrade default ports INDEX file to INDEX-13
---
 website/content/en/cgi/ports.cgi | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/website/content/en/cgi/ports.cgi b/website/content/en/cgi/ports.cgi
index 55cee975b7..ca4b8a253d 100755
--- a/website/content/en/cgi/ports.cgi
+++ b/website/content/en/cgi/ports.cgi
@@ -1,6 +1,6 @@
 #!/usr/bin/perl -T
 #
-# Copyright (c) 1996-2021 Wolfram Schneider <wosch@FreeBSD.ORG>
+# Copyright (c) 1996-2022 Wolfram Schneider <wosch@FreeBSD.ORG>
 # All rights reserved.
 #
 # Redistribution and use in source and binary forms, with or without
@@ -46,11 +46,11 @@ sub init_variables {
     $portsDatabaseHeadDir = "/usr/local/www/ports";
 
     # Ports database file to use
-    if ( -f "$portsDatabaseHeadDir/INDEX-12" ) {
-        $ports_database = 'INDEX-12';
+    if ( -f "$portsDatabaseHeadDir/INDEX-13" ) {
+        $ports_database = 'INDEX-13';
     }
-    elsif ( -f "$portsDatabaseHeadDir/INDEX-11" ) {
-        $ports_database = 'INDEX-11';
+    elsif ( -f "$portsDatabaseHeadDir/INDEX-12" ) {
+        $ports_database = 'INDEX-12';
     }
     else {
         $ports_database = 'INDEX';
@@ -496,7 +496,7 @@ sub footer {
 
     print qq{
 <img align="right" src="$hsty_base/gifs/powerlogo.gif" alt="Powered by FreeBSD" />
-&copy; 1996-2021 by Wolfram Schneider. All rights reserved.<br />
+&copy; 1996-2022 by Wolfram Schneider. All rights reserved.<br />
 };
 
 #print q{$FreeBSD$} . "<br />\n";