mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
#2207: fix if no Pygments available.
This commit is contained in:
parent
5c5ee14a22
commit
265766721e
@ -6,6 +6,9 @@
|
|||||||
Supports reference count annotations for C API functions. Based on
|
Supports reference count annotations for C API functions. Based on
|
||||||
refcount.py and anno-api.py in the old Python documentation tools.
|
refcount.py and anno-api.py in the old Python documentation tools.
|
||||||
|
|
||||||
|
Usage: Set the `refcount_file` config value to the path to the reference
|
||||||
|
count data file.
|
||||||
|
|
||||||
:copyright: 2008 by Georg Brandl.
|
:copyright: 2008 by Georg Brandl.
|
||||||
:license: BSD.
|
:license: BSD.
|
||||||
"""
|
"""
|
||||||
|
@ -67,9 +67,9 @@ def escape_tex(text):
|
|||||||
|
|
||||||
class PygmentsBridge(object):
|
class PygmentsBridge(object):
|
||||||
def __init__(self, dest='html', stylename='sphinx'):
|
def __init__(self, dest='html', stylename='sphinx'):
|
||||||
|
self.dest = dest
|
||||||
if not pygments:
|
if not pygments:
|
||||||
return
|
return
|
||||||
self.dest = dest
|
|
||||||
if stylename == 'sphinx':
|
if stylename == 'sphinx':
|
||||||
style = SphinxStyle
|
style = SphinxStyle
|
||||||
else:
|
else:
|
||||||
|
Loading…
Reference in New Issue
Block a user