From 6bc817b4c53e0c14085dc707e8e595da263a7e8f Mon Sep 17 00:00:00 2001
From: Guillem Jover <guillem@debian.org>
Date: Fri, 29 Dec 2023 02:48:52 +0100
Subject: Update ports references

Remove GNU/kFreeBSD on references to supported ports, or replace it with
GNU/Hurd for non-GNU/Linux references, and clarify that GNU/Hurd is not
currently officially supported.
---
 english/CD/faq/index.wml     | 4 ++--
 english/intro/about.wml      | 2 +-
 english/ports/hurd/index.wml | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'english')

diff --git a/english/CD/faq/index.wml b/english/CD/faq/index.wml
index 62974939766..5d40fd3975b 100644
--- a/english/CD/faq/index.wml
+++ b/english/CD/faq/index.wml
@@ -779,7 +779,7 @@ discs?</toc-add-entry>
 use the following scheme to ensure interchangeability:</p>
 
 <div class="cdflash">
-      <p>Debian GNU/{Linux|Hurd|kFreeBSD}
+      <p>Debian GNU/{Linux|Hurd}
       &lt;version&gt;[&lt;revision&gt;]<br />Official
       {&lt;architecture&gt;} {CD|DVD|BD}-&lt;number&gt;</p>
 </div>
@@ -802,7 +802,7 @@ use the following scheme to ensure interchangeability:</p>
 </div>
 
 <div class="cdflash">
-      <p>Debian GNU/kFreeBSD 6.0.3<br />Official i386
+      <p>Debian GNU/Hurd 6.0.3<br />Official i386
       Netinst CD</p>
 </div>
 
diff --git a/english/intro/about.wml b/english/intro/about.wml
index d43d9c66abc..74606d7c283 100644
--- a/english/intro/about.wml
+++ b/english/intro/about.wml
@@ -47,7 +47,7 @@ Mach) to implement different features. The Hurd is free software produced by the
 
 <p>A large part of the basic tools that fill out the operating system come
 from the <a href="https://www.gnu.org/">GNU project</a>; hence the names:
-GNU/Linux, GNU/kFreeBSD, and GNU/Hurd.
+GNU/Linux and GNU/Hurd.
 These tools are also free.
 
 <p>Of course, the thing that people want is application software: programs
diff --git a/english/ports/hurd/index.wml b/english/ports/hurd/index.wml
index d8377bc7374..bf0a473b230 100644
--- a/english/ports/hurd/index.wml
+++ b/english/ports/hurd/index.wml
@@ -11,7 +11,7 @@ servers running on top of the GNU Mach microkernel. Together they
 build the base for the <a href="https://www.gnu.org/">GNU</a> operating
 system.</p>
 <p>
-Currently, Debian is only available for Linux and kFreeBSD, but with Debian
+Currently, Debian is only officially available for Linux, but with Debian
 GNU/Hurd we have started to offer GNU/Hurd as a development, server
 and desktop platform, too.</p>
 <h2>
-- 
cgit v1.2.3