From aeedfab1bfedd1407a78b3b6340e3712b5462176 Mon Sep 17 00:00:00 2001
From: Adrien Faure <adrien.faure@protonmail.com>
Date: Sat, 31 May 2025 19:54:53 +0200
Subject: [PATCH] nixos/documentation: add option to disable redirects

Related to issue #https://github.com/NixOS/nixpkgs/issues/412451
---
 nixos/doc/manual/default.nix         | 3 ++-
 nixos/modules/misc/documentation.nix | 9 +++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix
index fd9f6761ac17..965653d0dd77 100644
--- a/nixos/doc/manual/default.nix
+++ b/nixos/doc/manual/default.nix
@@ -8,6 +8,7 @@
   baseOptionsJSON ? null,
   warningsAreErrors ? true,
   prefix ? ../../..,
+  checkRedirects ? true,
 }:
 
 let
@@ -146,7 +147,7 @@ rec {
 
         nixos-render-docs -j $NIX_BUILD_CORES manual html \
           --manpage-urls ${manpageUrls} \
-          --redirects ${./redirects.json} \
+          ${if checkRedirects then "--redirects ${./redirects.json}" else ""} \
           --revision ${escapeShellArg revision} \
           --generator "nixos-render-docs ${pkgs.lib.version}" \
           --stylesheet style.css \
diff --git a/nixos/modules/misc/documentation.nix b/nixos/modules/misc/documentation.nix
index 79258026eb88..7545bbd4d7db 100644
--- a/nixos/modules/misc/documentation.nix
+++ b/nixos/modules/misc/documentation.nix
@@ -69,6 +69,7 @@ let
     version = config.system.nixos.release;
     revision = "release-${version}";
     extraSources = cfg.nixos.extraModuleSources;
+    checkRedirects = cfg.nixos.checkRedirects;
     options =
       let
         scrubbedEval = evalModules {
@@ -353,6 +354,14 @@ in
         '';
       };
 
+      nixos.checkRedirects = mkOption {
+        type = types.bool;
+        default = true;
+        description = ''
+          Check redirects for manualHTML.
+        '';
+      };
+
     };
 
   };