~cypheon/idris2-quickdocs

69327979ee24b1a0c7a7632235fc92ddfc2b4377 — Johann Rudloff 1 year, 5 months ago 3609c27
New version of `mkdoc` branch excludes namespaces, make indexing code simple
1 files changed, 3 insertions(+), 4 deletions(-)

M mkindex.py
M mkindex.py => mkindex.py +3 -4
@@ 58,12 58,11 @@ class IndexBuilder:
        if 'namespace' not in docclass:
            return

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

        for span in soup.select('dl.decls > dt > span.name'):
            id = span.parent['id']
            full_name = span.get_text(strip=True)
            namespace, name = split_ns(full_name)
            # print(f"{full_name} -> {namespace} , {name}")
            # namespace, name = full_name.rsplit('.', 1)
            name = span.get_text(strip=True)
            entries.append(IndexEntry(
                name,
                namespace,