From 4c50cf798e05341ef6b0b08cd227a525234173d1 Mon Sep 17 00:00:00 2001 From: Peder Bergebakken Sundt Date: Fri, 16 May 2025 10:27:29 +0200 Subject: [PATCH] docs: fix duplicate anchor `#deriving-path-encoding` is defined in two places, I _think_ this is the correct one to change. --- doc/manual/source/store/derivation/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual/source/store/derivation/index.md b/doc/manual/source/store/derivation/index.md index 911c28485..16ffc0923 100644 --- a/doc/manual/source/store/derivation/index.md +++ b/doc/manual/source/store/derivation/index.md @@ -282,7 +282,7 @@ type DerivingPath = ConstantPath | OutputPath; Under this extended model, `DerivingPath`s are thus inductively built up from a root `ConstantPath`, wrapped with zero or more outer `OutputPath`s. -### Encoding {#deriving-path-encoding} +### Encoding {#deriving-path-encoding-higher-order} The encoding is adjusted in the natural way, encoding the `drv` field recursively using the same deriving path encoding. The result of this is that it is possible to have a chain of `^` at the end of the final string, as opposed to just a single one.