def finish(self) -> None:
    if (self.previous_section is None):
        self.add_menu('Top')
    for index in self.indices:
        (name, content) = index
        pointers = tuple(([name] + self.rellinks[name]))
        self.body.append(('\n@node %s,%s,%s,%s\n' % pointers))
        self.body.append(('@unnumbered %s\n\n%s\n' % (name, content)))
    while self.referenced_ids:
        r = self.referenced_ids.pop()
        if (r not in self.written_ids):
            self.body.append(('@anchor{%s}@w{%s}\n' % (r, (' ' * 30))))
    self.ensure_eol()
    self.fragment = ''.join(self.body)
    self.elements['body'] = self.fragment
    self.output = (TEMPLATE % self.elements)
def finish(self) -> None:
    if (self.previous_section is None):
        self.add_menu('Top')
    for index in self.indices:
        (name, content) = index
        pointers = tuple(([name] + self.rellinks[name]))
        self.body.append(('\n@node %s,%s,%s,%s\n' % pointers))
        self.body.append(('@unnumbered %s\n\n%s\n' % (name, content)))
    while self.referenced_ids:
        r = self.referenced_ids.pop()
        if (r not in self.written_ids):
            self.body.append(('@anchor{%s}@w{%s}\n' % (r, (' ' * 30))))
    self.ensure_eol()
    self.fragment = .join(self.body)
    self.elements['body'] = self.fragment
    self.output = (TEMPLATE % self.elements)