From 45de35bcf14d1bdad5dca2e24a113d26d1985aed Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Tue, 26 Sep 2023 01:24:07 +0200
Subject: [PATCH] fix broken redirects script

---
 doc/manual/redirects.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/redirects.js b/doc/manual/redirects.js
index b43622ed6..b2fad19bb 100644
--- 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",