~cypheon/idris2-quickdocs

8c4dc0fbaf64ef4be3e2e227f0569df5e6a6f75a — Johann Rudloff a month ago 12e9ed8
Update for modified HTML structure in Idris2 0.5.1+
1 files changed, 2 insertions(+), 2 deletions(-)

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

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

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