From 7c1a8c45bfdc733fce69f18f5970c84c7cf85528 Mon Sep 17 00:00:00 2001
From: Johannes Kirschbauer <hsjobeki@gmail.com>
Date: Fri, 26 Jun 2026 15:15:04 +0200
Subject: [PATCH] nixos/doc: inject custom header via nixos-render-docs
 --header

---
 doc/doc-support/header.html  | 2 +-
 nixos/doc/manual/default.nix | 2 ++
 nixos/doc/manual/header.html | 7 +++++++
 3 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 nixos/doc/manual/header.html

diff --git a/doc/doc-support/header.html b/doc/doc-support/header.html
index 1e1d504aa4a3..1c42f4adcf11 100644
--- a/doc/doc-support/header.html
+++ b/doc/doc-support/header.html
@@ -3,5 +3,5 @@
         <a class="manual-header--tab manual-header--tab-active" href="#">Nixpkgs</a>
         <a class="manual-header--tab" href="https://nixos.org/manual/nixos/stable/">NixOS</a>
     </nav>
-    <span class="manual-header--title">Nixpkgs Reference Manual</span>
+    <span class="manual-header--title">Nixpkgs Manual</span>
 </div>
diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix
index cf5c28358097..78f44ad9ad74 100644
--- a/nixos/doc/manual/default.nix
+++ b/nixos/doc/manual/default.nix
@@ -202,6 +202,8 @@ rec {
           --script ./anchor.min.js \
           --script ./anchor-use.js \
           --sidebar-depth 2 \
+          --header ${./header.html}\
+          --no-navheader \
           ./manual.md \
           $dst/${common.indexPath}
 
diff --git a/nixos/doc/manual/header.html b/nixos/doc/manual/header.html
new file mode 100644
index 000000000000..acc029f5c3e4
--- /dev/null
+++ b/nixos/doc/manual/header.html
@@ -0,0 +1,7 @@
+<div class="manual-header">
+    <nav class="manual-header--tabs">
+        <a class="manual-header--tab" href="https://nixos.org/manual/nixos/stable/">Nixpkgs</a>
+        <a class="manual-header--tab manual-header--tab-active" href="#">NixOS</a>
+    </nav>
+    <span class="manual-header--title">Nixos Manual</span>
+</div>