Skip to content

Commit

Permalink
fix an old lost direct (#9717)
Browse files Browse the repository at this point in the history
this part must have been moved quite a while ago, but apparently so far
no one noticed

(cherry picked from commit 6db805b)

Co-authored-by: Valentin Gagarin <[email protected]>
  • Loading branch information
github-actions[bot] and fricklerhandwerk authored Jan 8, 2024
1 parent 4a1c376 commit 4dd5171
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions doc/manual/redirects.js
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ const redirects = {
"chap-distributed-builds": "advanced-topics/distributed-builds.html",
"chap-post-build-hook": "advanced-topics/post-build-hook.html",
"chap-post-build-hook-caveats": "advanced-topics/post-build-hook.html#implementation-caveats",
"chap-writing-nix-expressions": "language/index.html",
"part-command-ref": "command-ref/command-ref.html",
"conf-allow-import-from-derivation": "command-ref/conf-file.html#conf-allow-import-from-derivation",
"conf-allow-new-privileges": "command-ref/conf-file.html#conf-allow-new-privileges",
Expand Down

0 comments on commit 4dd5171

Please sign in to comment.