add redirect to track moved uninstall section

2023-05-03 11:39:29 +02:00 · 2023-05-03 11:39:29 +02:00 · dc8191ae14
parent 5d78dc4176
commit dc8191ae14
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"
  }
 };