X-Git-Url: https://jxself.org/git/?p=ibg.git;a=blobdiff_plain;f=conf.py;h=5d882f2bdcab2c10cfd7122e1c5a90ddef6eb16c;hp=7546c7521c18936f4d56ae803ab097280522dbcf;hb=a94081289bc21041a8daac44d8c8b6714a831281;hpb=d243892ad9717d0d1cbb0dbc941b229b24a7f09e

diff --git a/conf.py b/conf.py
index 7546c75..5d882f2 100644
--- a/conf.py
+++ b/conf.py
@@ -22,10 +22,12 @@ import codecs
 # documentation root, use os.path.abspath to make it absolute, like shown here.
 sys.path.insert(0, ".")
 
+from tools.inform import InformLexer
 from tools.transcript import TranscriptLexer
 
 # Setup function.
 def setup(app):
+    app.add_lexer('inform', InformLexer())
     app.add_lexer('transcript', TranscriptLexer())
 
 # -- General configuration ------------------------------------------------
@@ -88,7 +90,7 @@ language = None
 
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
-exclude_patterns = ['config', 'output']
+exclude_patterns = ['config', 'output', 'tables']
 
 # The reST default role (used for this markup: `text`) to use for all
 # documents.
@@ -106,7 +108,7 @@ default_role = "any"
 #show_authors = False
 
 # The name of the Pygments (syntax highlighting) style to use.
-pygments_style = 'default'
+pygments_style = 'friendly'
 
 # The default Pygments highlight language.
 highlight_language = 'none'