diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/src/glossary.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md index 117b43a88..0fcc2b07b 100644 --- a/doc/manual/src/glossary.md +++ b/doc/manual/src/glossary.md @@ -144,7 +144,9 @@ references `R` then `R` is also in the closure of `P`. - [output path]{#gloss-output-path}\ - A store path produced by a derivation. + A [store path] produced by a [derivation]. + + [output path]: #gloss-output-path - [deriver]{#gloss-deriver}\ The deriver of an *output path* is the store |