Closed derlin closed 3 months ago
Heading above the [TOC] were so far discarded, but this messes up the numbering of duplicate headings.
[TOC]
This commit fixes it, by also registering headings above the placeholder.
Closes #45
Heading above the
[TOC]
were so far discarded, but this messes up the numbering of duplicate headings.This commit fixes it, by also registering headings above the placeholder.
Closes #45