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 <[EMAIL PROTECTED]> <http://bugs.python.org/issue2207> __________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
