diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-05-03 14:09:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-03 14:09:33 +0200 |
| commit | b17c4290cf61d8a0386817b87231762c175097c5 (patch) | |
| tree | 8a4f0e375f4a43743676da5981fe1e94aa2c68be | |
| parent | 5d78dc41760c504240101e77eb38c47fec58bdbd (diff) | |
| parent | dc8191ae1457d091c14deb4c819479b68baa88d1 (diff) | |
Merge pull request #8286 from fricklerhandwerk/uninstall-redirects
add redirect to track moved uninstall section
| -rw-r--r-- | doc/manual/redirects.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual/redirects.js b/doc/manual/redirects.js index 69f75d3a0..5cd6fdea2 100644 --- 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" } }; |