[docs] [issue23613] searchindex.js is annoying

Georg Brandl 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 mailing list