Merge pull request #453 from rakuco/export-some-algorithms

editorial: Export "{update,get value from} latest reading".
w3c · Jan 17, 2023 · 3bb5f52 · 3bb5f52
2 parents 2acb6cf + 6072f15
commit 3bb5f52
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.bs b/index.bs
@@ -1393,7 +1393,7 @@ to {{SensorErrorEventInit}}.
     1.  Set [=requested sampling frequency=] to [=optimal sampling frequency=].
 </div>
 
-<h3 dfn>Update latest reading</h3>
+<h3 dfn export>Update latest reading</h3>
 
 <div algorithm="update latest reading">
 
@@ -1517,7 +1517,7 @@ to {{SensorErrorEventInit}}.
 </div>
 
 
-<h3 dfn>Get value from latest reading</h3>
+<h3 dfn export>Get value from latest reading</h3>
 
 <div algorithm="get value from latest reading">