docs: add redirect from the previous options.html

After migrating to nixos-render-docs, the extension move to .xtml. Unfortunately, this broke links to the previous Options Page. This patch provides a basic redirect support to the new Options Page.
nyarly · Jun 9, 2024 · 8bdb74e · 8bdb74e
1 parent 8f1b183
commit 8bdb74e
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/docs/home-manager-manual.nix b/docs/home-manager-manual.nix
@@ -32,6 +32,8 @@ in stdenv.mkDerivation {
         OPTIONS_JSON \
         ${home-manager-options.nix-darwin}/share/doc/nixos/options.json
 
+    cp ${./options.html} out/options.html
+
     cp ${./static/style.css} out/style.css
 
     cp -r ${./release-notes} release-notes

diff --git a/docs/options.html b/docs/options.html
@@ -0,0 +1,15 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <title>Redirecting&hellip;</title>
+    <meta charset="utf-8">
+    <link rel="canonical" href="options.xhtml">
+    <noscript><meta http-equiv="refresh" content="0; url=options.xhtml"></noscript>
+  </head>
+  <body>
+    <h1>Redirecting&hellip;</h1>
+    <script>
+      window.location.href = "options.xhtml" + (window.location.search || "") + (window.location.hash || "");
+    </script>
+  </body>
+</html>