Add glossary references in the correct places.

[ibg.git] / conf.py

diff --git a/conf.py b/conf.py
index 7546c7521c18936f4d56ae803ab097280522dbcf..5d882f2bdcab2c10cfd7122e1c5a90ddef6eb16c 100644 (file)
--- 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'