diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-09-06 09:09:02 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-09-06 09:09:02 +0200 |
| commit | 5c23d3a90cb1a76a0ea464be380bb16dc9f999c7 (patch) | |
| tree | a5fc75c17eb80e35dbd8e637a49cde150fb8ea57 /doc/manual | |
| parent | acc50e184578b7a5d4f9404e84241373baffc9fc (diff) | |
disambiguate output from output path
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/src/glossary.md | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md index 57a3334dd..b7c340d36 100644 --- a/doc/manual/src/glossary.md +++ b/doc/manual/src/glossary.md @@ -197,9 +197,15 @@ [closure]: #gloss-closure +- [output]{#gloss-output} + + A [store object] produced by a [derivation]. + + [output]: #gloss-output + - [output path]{#gloss-output-path} - A [store path] produced by a [derivation]. + The [store path] to the [output] of a [derivation]. [output path]: #gloss-output-path |