Hi,
Ben Hutchings <ben@decadent.org.uk> wrote (Sun, 03 Aug 2025 04:45:19 +0200):
> Hi web team,
>
> Today I was informed that there is a stale copy (last updated in 2018)
> of the Debian Kernel Handbook at
> <https://www.debian.org/doc/manuals/debian-kernel-handbook/>. Most
> unfortunately, Google ranks this version above the current version.
>
> Please can you replace this with a redirect to the canonical URL, which
> is <https://kernel-team.pages.debian.net/kernel-handbook/>?
>
> I didn't find any reference to either of these locations in the WML so I
> don't think anything else would need to be updated.
I removed the old files now, so with the next mirror sync that copy
should be gone.
Regarding the redirect topic:
What about listing this manual on d.o/doc/manuals in the devel manuals
section, separated from the others, with a note, that it's stored externally?
With a one-liner like this:
diff --git a/english/doc/index.wml b/english/doc/index.wml
index ce4474c7607..a2c26674a1e 100644
--- a/english/doc/index.wml
+++ b/english/doc/index.wml
@@ -106,6 +106,8 @@ name and/or links to the online versions.</p>
<li><a href="devel-manuals#dbapp-policy">Policy for packages using databases</a></li>
</ul>
+ <p><a href="https://kernel-team.pages.debian.net/kernel-handbook/";>Debian Kernel Handbook</a> (on pages.debian.net)</p>
+
</div>
</div>
See screenshot for a proposal.
Holger
--
Holger Wansing <hwansing@mailbox.org>
PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076
Attachment:
screenshot_manuals.png
Description: PNG image
