[issue2207] Bug in Sphinx highlighting when pygments not available

Georg Brandl added the comment: Thanks, fixed in r61134. -- nosy: +georg.brandl resolution: -> fixed status: open -> closed __ Tracker <[EMAIL PROTECTED]> __ _

[issue2207] Bug in Sphinx highlighting when pygments not available

New submission from Tim Golden: When pygments is not available to the sphinx build environment, the PygmentsBridge in the highlighting.py module raises an exception in the unhighlighted function. This function attempts to use the .dest attribute which isn't set in the __init__ if the pygments imp