From 33d388983156e3cdd360a9bb87662da1b8a35f7a Mon Sep 17 00:00:00 2001
From: "Travis A. Everett" <travis.a.everett@gmail.com>
Date: Mon, 19 Jun 2023 15:17:50 -0500
Subject: [PATCH] redirect old platform uninstall instruction links

Uninstall instructions were moved to their own page in #8267. The
overall section link was redirected in #8286, but platform-specific
links (which I give out frequently when I triage installer trouble)
weren't included.
---
 doc/manual/redirects.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/manual/redirects.js b/doc/manual/redirects.js
index 5cd6fdea2..bddd56eb8 100644
--- a/doc/manual/redirects.js
+++ b/doc/manual/redirects.js
@@ -340,6 +340,8 @@ const redirects = {
     "attribute-sets": "#attribute-set"
   },
   "installation/installing-binary.html": {
+    "linux": "uninstall.html#linux",
+    "macos": "uninstall.html#macos",
     "uninstalling": "uninstall.html"
   }
 };