git: 17b1d3ecdd - main - cgi/cgi-style.pl: Prepare it to decouple /mail and /doc from the main site

The branch main has been updated by dbaio:

URL: https://cgit.FreeBSD.org/doc/commit/?id=17b1d3ecdda64cde99d083e99dec0cc14f83984b

commit 17b1d3ecdda64cde99d083e99dec0cc14f83984b
Author:     Danilo G. Baio <[email protected]>
AuthorDate: 2023-02-21 00:26:59 +0000
Commit:     Danilo G. Baio <[email protected]>
CommitDate: 2023-02-21 00:26:59 +0000

    cgi/cgi-style.pl: Prepare it to decouple /mail and /doc from the main site
---
 website/content/en/cgi/cgi-style.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/content/en/cgi/cgi-style.pl b/website/content/en/cgi/cgi-style.pl
index 46f6aa126f..5bf069fde6 100644
--- a/website/content/en/cgi/cgi-style.pl
+++ b/website/content/en/cgi/cgi-style.pl
@@ -14,7 +14,7 @@ if (!defined($hsty_base)) {
     # However, if we aren't running as a cgi, or if we're
     # running on cgi, hub, docs or people, use the absolute home path.
     if (!defined($ENV{'HTTP_HOST'}) ||
-	$ENV{'HTTP_HOST'} =~ /(docs|man|man-dev|people|ports).freebsd.org/i) {
+	$ENV{'HTTP_HOST'} =~ /(docs|docs-archive|mail-archive|man|man-dev|people|ports).freebsd.org/i) {
 
 	$hsty_base = 'https://www.FreeBSD.org'
     } else {