diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-21 09:46:23 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-21 09:46:23 +0200 |
| commit | 085104944b2957f4269fcbfaf0d1874ab0c9ce84 (patch) | |
| tree | 1ca8609adfe8eac88836842d35028573258b41dd /doc/manual/redirects.js | |
| parent | a78f929065fd209e3d89853c6beb48942e3820e9 (diff) | |
add redirects to changed anchors
Diffstat (limited to 'doc/manual/redirects.js')
| -rw-r--r-- | doc/manual/redirects.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual/redirects.js b/doc/manual/redirects.js index 5cd6fdea2..6813dc6d6 100644 --- a/doc/manual/redirects.js +++ b/doc/manual/redirects.js @@ -342,6 +342,10 @@ const redirects = { "installation/installing-binary.html": { "uninstalling": "uninstall.html" } + "contributing/hacking.html": { + "nix-with-flakes": "#building-nix-with-flakes" + "classic-nix": "#building-nix" + } }; // the following code matches the current page's URL against the set of redirects. |