diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-12-20 15:26:05 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-12-21 11:42:22 +0100 |
| commit | 3a66d82e1da1302586055a70903de2f9a7425087 (patch) | |
| tree | 16060e9d3caacefb494de67e524d55ab38f4ac91 /doc/manual/src/glossary.md | |
| parent | 62f4f883a7f63380be578ebb6167641ec111b59e (diff) | |
update description of "store derivation" in installables section
a store derivation is not a store path itself, it has a store path.
Diffstat (limited to 'doc/manual/src/glossary.md')
| -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 |