diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-05-03 11:39:29 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-05-03 11:39:29 +0200 |
| commit | dc8191ae1457d091c14deb4c819479b68baa88d1 (patch) | |
| tree | 8a4f0e375f4a43743676da5981fe1e94aa2c68be | |
| parent | 5d78dc41760c504240101e77eb38c47fec58bdbd (diff) | |
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" } }; |