disambiguate output from output path

2023-09-06 09:09:02 +02:00 · 2023-09-06 09:09:02 +02:00 · 5c23d3a90c
parent acc50e1845
commit 5c23d3a90c
1 changed files with 7 additions and 1 deletions
--- 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