[docs] [issue23613] searchindex.js is annoying

Serhiy Storchaka report at bugs.python.org
Sun Mar 8 23:27:32 CET 2015

Serhiy Storchaka added the comment:

Lib/pydoc_data/topics.py was extremely annoying to me for the same reason. I even didn't know about Doc/build/html/searchindex.js because it has different extension. Finally I had written few scripts like:

$ cat ~/bin/findpy
find * -name '*.py' ! -path '*Lib/pydoc_data/topics.py' ! -path '*Lib/plat-*' -exec egrep -n --color "$@" '{}' +

and similar for *.[ch] and *.rst, and forgot about this problem.

nosy: +serhiy.storchaka

Python tracker <report at bugs.python.org>

More information about the docs mailing list