fix broken redirects script

2023-09-26 01:24:07 +02:00
parent b19bd4f348
commit 45de35bcf1
1 changed files with 1 additions and 1 deletions
--- a/doc/manual/redirects.js
+++ b/doc/manual/redirects.js
@@ -343,7 +343,7 @@ const redirects = {
    "linux": "uninstall.html#linux",
    "macos": "uninstall.html#macos",
    "uninstalling": "uninstall.html",
-  }
+  },
  "contributing/hacking.html": {
    "nix-with-flakes": "#building-nix-with-flakes",
    "classic-nix": "#building-nix",