chiark / gitweb /
documentation/python: crawl the names first to build a name map.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 10 Jul 2019 20:29:54 +0000 (22:29 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 14 Jul 2019 17:11:08 +0000 (19:11 +0200)
commitdf37b396d10b1446ae43d5f8fb0bd07ff338d9f4
tree1f0cd2aa8c03e0569b1022cebb0a86c141599b22
parentec9d0e1211ef37199b299feb96ca070b8eb9d3a6
documentation/python: crawl the names first to build a name map.

And then render eeach page non-recursively. That helps with
deduplicating the code (although the result is more code now), memory
usage (we're freeing everything before continuing to render another
page) and prepares the codebase for crosslinking and search.
documentation/python.py