add redirects to changed anchors

2023-06-21 09:46:23 +02:00 · 2023-06-21 09:46:23 +02:00 · 085104944b
parent a78f929065
commit 085104944b
1 changed files with 4 additions and 0 deletions
--- a/doc/manual/redirects.js
+++ b/doc/manual/redirects.js
@ -342,6 +342,10 @@ const redirects = {
  "installation/installing-binary.html": {
    "uninstalling": "uninstall.html"
  }
+  "contributing/hacking.html": {
+    "nix-with-flakes": "#building-nix-with-flakes"
+    "classic-nix": "#building-nix"
+  }
 };

 // the following code matches the current page's URL against the set of redirects.