[docs] [issue19039] sphinx search, result sorting

[R. David Murray]

R. David Murray added the comment:

This is a Sphinx issue and should be reported on the Sphinx tracker...although I think Sphinx uses a 3rd party tool for the sorting, so it might go back up even a level further :).  

I don't think there's any reason to keep this issue open here, but I'll leave that up to Georg.

----------
assignee: docs at python -> 
nosy: +georg.brandl, r.david.murray

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