diff options
Diffstat (limited to 'org/ocda.org')
| -rw-r--r-- | org/ocda.org | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/org/ocda.org b/org/ocda.org index a9f0368..b84b3ef 100644 --- a/org/ocda.org +++ b/org/ocda.org @@ -187,6 +187,18 @@ scope(exit) { anchor_tag = ""; _heading_anchor_tags_seen = _reserved_heading_anchor_tags(); } +/+ ↓ seeded here, on the way in, which is the seeding that matters. + . + The two assignments in scope(exit) and at the tail of this function run + after a document has been abstracted, so they seed the *next* one. The + first document of a run had nothing before it and began with the set as + declared, empty: it alone was not held to the reserved names, and a heading + of its own claiming "endnotes" kept the name of the generated section. + Which document that was depended on what else was in the run, so a + document's abstraction depended on its company, and a single document + re-parsed to check an artefact made in a collection run disagreed with it. ++/ +_heading_anchor_tags_seen = _reserved_heading_anchor_tags(); mixin spineNode; int[string] node_para_int_ = node_metadata_para_int; string[string] node_para_str_ = node_metadata_para_str; |
