[issue18387] Add 'symbols' link to pydoc's html menu bar.

[Ron Adam]

Changes by Ron Adam <ron3200 at gmail.com>:


Removed file: http://bugs.python.org/file30843/pdoc_symbols.diff

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