~cypheon/idris2-quickdocs

a6d17f6d6086c9caa61294af8fe70010bfca80b8 — Johann Rudloff 11 days ago 0923a3f main
Prevent duplicate index entries (e.g. interface implementations)
1 files changed, 5 insertions(+), 2 deletions(-)

M mkindex.py
M mkindex.py => mkindex.py +5 -2
@@ 60,8 60,11 @@ class IndexBuilder:

        namespace = soup.select('h1')[0].get_text(strip=True)

        for span in soup.select('dl.decls > dt > code > a > span.name'):
            id = span.parent.parent.parent['id']
        for dt in soup.select('dl.decls > dt'):
            id = dt['id']
            if id.startswith('$resolved'):
                continue
            span = dt.select('span.name')[0]
            name = span.get_text(strip=True)
            entries.append(IndexEntry(
                name,