Merge pull request #8930 from fricklerhandwerk/output-path

disambiguate output from output path
2023-09-06 10:26:53 +02:00
parent acc50e1845 5c23d3a90c
commit 964d186e5d
1 changed files with 7 additions and 1 deletions
@@ -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