[issue7731] Search is sluggish

[anatoly techtonik]

anatoly techtonik <techtonik at gmail.com> added the comment:

It appears the doctools project is outdated and development for documentation generation tools moved to Sphinx project. Patch for Sphinx is in Sphinx bug tracker at http://bitbucket.org/birkenfeld/sphinx/issue/322/improve-search-responsiveness

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue7731>
_______________________________________