[docs] [issue23613] searchindex.js is annoying
report at bugs.python.org
Sun Mar 8 20:54:30 CET 2015
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>
More information about the docs