diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-22 13:45:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-22 13:45:31 +0200 |
| commit | 0ab962d83f644177ee22fbfc28f7f2e88c068e79 (patch) | |
| tree | 8ce16f675a2eb67a8fc56eff7ada9d07c6388c5b /doc/manual/redirects.js | |
| parent | 48fe0ed554e2708d136cbfc10ec0969a638d209e (diff) | |
| parent | 5f9a921bc1e6d3e6bf65601be565585cf0190e8f (diff) | |
Merge pull request #8556 from fricklerhandwerk/hacking-headings
hacking guide: use more self-descriptive section headings
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 bddd56eb8..d75cd231a 100644 --- a/doc/manual/redirects.js +++ b/doc/manual/redirects.js @@ -344,6 +344,10 @@ const redirects = { "macos": "uninstall.html#macos", "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. |