[issue7487] doc: Code is not always colored

[Georg Brandl]

Georg Brandl <georg at python.org> added the comment:

This was caused by an old version of Pygments being used for building
the docs; I installed a new one in the external repo in r77144.

----------
resolution:  -> fixed
status: open -> closed

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