aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/redirects.js
diff options
context:
space:
mode:
authorTravis A. Everett <travis.a.everett@gmail.com>2023-06-19 15:17:50 -0500
committerTravis A. Everett <travis.a.everett@gmail.com>2023-06-19 15:17:50 -0500
commit33d388983156e3cdd360a9bb87662da1b8a35f7a (patch)
treea348b1fb47ec30a46ea392516e56327fe4113713 /doc/manual/redirects.js
parent3910430b9d034c277650f4ff05a27008ede73c18 (diff)
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.
Diffstat (limited to 'doc/manual/redirects.js')
-rw-r--r--doc/manual/redirects.js2
1 files changed, 2 insertions, 0 deletions
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"
}
};