[docs] [issue23613] searchindex.js is annoying

[Georg Brandl]

Georg Brandl added the comment:

Well, that's not useful in a generated file.  I propose you exclude the doc build tree from your search, or use a grepping tool like ag that ignores files ignored by the vcs.

----------

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