chiark / gitweb /
documentation: move search-related stuff into a dedicated module.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 14 Jul 2019 21:57:19 +0000 (23:57 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 14 Jul 2019 21:57:19 +0000 (23:57 +0200)
commit7e7480461f2fcb9b0c9a28dda7c56eeba9e66bea
treebdd08661d856b3f7ee4d0e724804e767c6a64d4b
parent3594c845adb66901fed674216f494545ba230b0a
documentation: move search-related stuff into a dedicated module.

So it can be used by the Python doc generator as well. Wanted to put it
into __init__.py, but Guido disagreed with that, so I can't.
documentation/_search.py [new file with mode: 0644]
documentation/doxygen.py
documentation/test_doxygen/populate-js-test-data.py
documentation/test_doxygen/test_search.py
documentation/test_doxygen/test_undocumented.py