Merge pull request #8286 from fricklerhandwerk/uninstall-redirects

add redirect to track moved uninstall section
2023-05-03 14:09:33 +02:00 · 2023-05-03 14:09:33 +02:00 · b17c4290cf
parent 5d78dc4176 dc8191ae14
commit b17c4290cf
1 changed files with 3 additions and 0 deletions
--- a/doc/manual/redirects.js
+++ b/doc/manual/redirects.js
@ -338,6 +338,9 @@ const redirects = {
    "strings": "#string",
    "lists": "#list",
    "attribute-sets": "#attribute-set"
+  },
+  "installation/installing-binary.html": {
+    "uninstalling": "uninstall.html"
  }
 };