chiark / gitweb /
documentation/python: added a post-crawl hook and exposed name map.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 22 Aug 2019 21:00:37 +0000 (23:00 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 25 Aug 2019 10:47:45 +0000 (12:47 +0200)
commitebde428d2cbb1c55669a66ae5f32d63a9c7fbd2d
tree15bf7fd6a543cb4250fc7113141e743892cfea44
parent2aa50669dc22b5b9154a464d7169a7069ff8cf54
documentation/python: added a post-crawl hook and exposed name map.

So m.sphinx can use it to add the internal names to its own search index
and also make an inventory for it.
doc/documentation/python.rst
documentation/python.py
documentation/test_python/page_plugins/plugins/fancyline.py
documentation/test_python/test_page.py