[docs] [issue23613] searchindex.js is annoying

R. David Murray report at bugs.python.org
Mon Mar 9 12:09:32 CET 2015

R. David Murray added the comment:

Martin's solution is similar to the one I use except that I made an alias for it and I also exclude topics.py.  Which is a tracked file.  It seems that what one wants to ignore is a bit of a personal decision, and so it is probably best left up to the individual to craft a solution (even though I also find it annoying :)

nosy: +r.david.murray

Python tracker <report at bugs.python.org>

More information about the docs mailing list