Georg Brandl <ge...@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 <rep...@bugs.python.org> <http://bugs.python.org/issue7487> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
