[issue4965] Can doc index of html version be separately scrollable?

[Georg Brandl]

Georg Brandl added the comment:

You'll have to put a copy in sphinxext/static.

----------

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