From 5c23d3a90cb1a76a0ea464be380bb16dc9f999c7 Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Wed, 6 Sep 2023 09:09:02 +0200
Subject: [PATCH] disambiguate output from output path

---
 doc/manual/src/glossary.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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