diff options
author | Travis A. Everett <travis.a.everett@gmail.com> | 2023-06-19 15:17:50 -0500 |
---|---|---|
committer | Travis A. Everett <travis.a.everett@gmail.com> | 2023-06-19 15:17:50 -0500 |
commit | 33d388983156e3cdd360a9bb87662da1b8a35f7a (patch) | |
tree | a348b1fb47ec30a46ea392516e56327fe4113713 /doc/manual/redirects.js | |
parent | 3910430b9d034c277650f4ff05a27008ede73c18 (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.js | 2 |
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" } }; |