[New-bugs-announce] [issue2207] Bug in Sphinx highlighting when pygments not available

[Tim Golden]

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 import has failed.

The attached patch moves the .dest setting up so it is always set
regardless of the presence of pygments. I don't know if it's a complete
solution, but the help, htmlhelp and web all build.

----------
components: Documentation tools (Sphinx)
files: sphinx-highlighting-r61125.patch
keywords: patch
messages: 63130
nosy: tim.golden
severity: normal
status: open
title: Bug in Sphinx highlighting when pygments not available
versions: Python 2.6, Python 3.0
Added file: http://bugs.python.org/file9571/sphinx-highlighting-r61125.patch

__________________________________
Tracker <report at bugs.python.org>
<http://bugs.python.org/issue2207>
__________________________________