From 6ae91130c7c2ff1c11ecfe5798d8037954a4d570 Mon Sep 17 00:00:00 2001
From: pommicket <pommicket@gmail.com>
Date: Tue, 23 Sep 2025 01:54:50 -0400
Subject: Stricter requirements about locations of sections

---
 site/spec.html | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'site')

diff --git a/site/spec.html b/site/spec.html
index 068d688..704395b 100644
--- a/site/spec.html
+++ b/site/spec.html
@@ -456,8 +456,11 @@ time = 35&nbsp;min
 		Useful for reporting invalid values.
 		If a key <i>k</i> isn’t given a value in the configuration, but a key of the form
 		<i>k</i><code>.</code><i>j</i> is, then the
-		location of the definition of an arbitrary such key
-		should be considered the location of <i>k</i>.
+		location of the definition of the earliest such key
+		should be considered the location of <i>k</i>. Here “earliest” means having
+		the least line number; when there are keys from multiple files to consider
+		(as may be the case in merged configurations),
+		which one is earliest is determined arbitrarily.
 	</li>
 	<li>
 		<code>get(conf: Configuration, key: String) -&gt; Optional&lt;String&gt;</code><br>
-- 
cgit v1.2.3