summaryrefslogtreecommitdiff
path: root/doc/developer/conf.py
diff options
context:
space:
mode:
authorQuentin Young <qlyoung@cumulusnetworks.com>2018-04-10 13:37:47 -0400
committerQuentin Young <qlyoung@cumulusnetworks.com>2018-04-10 13:51:50 -0400
commitdff213a9688902d0b44cb468090c98426b4de2f8 (patch)
tree5ff157404634bcc9648e7fca72548a3e51b362bc /doc/developer/conf.py
parent9eb95b3b0aa3c9c38d9334bf5c34f8d4eea1cb16 (diff)
doc: load lexer differently
Pygments 2.2+ has `load_lexer_from_file`, but it looks like some of our build platforms are on an older version. Also gotta include the new file in dist tarball. Signed-off-by: Quentin Young <qlyoung@cumulusnetworks.com>
Diffstat (limited to 'doc/developer/conf.py')
-rw-r--r--doc/developer/conf.py13
1 files changed, 10 insertions, 3 deletions
diff --git a/doc/developer/conf.py b/doc/developer/conf.py
index eecce4e908..11ec05e0c2 100644
--- a/doc/developer/conf.py
+++ b/doc/developer/conf.py
@@ -343,6 +343,13 @@ def setup(app):
app.add_object_type('clicmd', 'clicmd')
# css overrides for HTML theme
app.add_stylesheet('overrides.css')
- # load FRR config lexer
- frrlexer = pygments.lexers.load_lexer_from_file('../extra/frrlexer.py', lexername="FRRLexer")
- lexers['frr'] = frrlexer
+ # load Pygments lexer for FRR config syntax
+ #
+ # NB: in Pygments 2.2+ this can be done with `load_lexer_from_file`, but we
+ # do it manually since not all of our supported build platforms have 2.2
+ # yet.
+ #
+ # frrlexer = pygments.lexers.load_lexer_from_file('../extra/frrlexer.py', lexername="FRRLexer")
+ custom_namespace = {}
+ exec(open('../extra/frrlexer.py', 'rb').read(), custom_namespace)
+ lexers['frr'] = custom_namespace['FRRLexer']()