X-Git-Url: https://jxself.org/git/?p=ibg.git;a=blobdiff_plain;f=conf.py;h=6d84b88ccf7a2d538f432909176b2d226e85e5b1;hp=5f579c0d4074f5ef95aed9486aa896de1e6ed802;hb=a1edd2b053c00d4445b51443dbd81b4545aeaa9e;hpb=056d415c5a40209963cb26f45458ca8c73d02f5e

diff --git a/conf.py b/conf.py
index 5f579c0..6d84b88 100644
--- a/conf.py
+++ b/conf.py
@@ -19,7 +19,15 @@ import shlex
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
-#sys.path.insert(0, os.path.abspath('.'))
+sys.path.insert(0, os.path.abspath('tools'))
+
+from inform import InformLexer
+from transcript import TranscriptLexer
+
+# Setup function.
+def setup(app):
+    app.add_lexer('inform', InformLexer())
+    app.add_lexer('transcript', TranscriptLexer())
 
 # -- General configuration ------------------------------------------------
 
@@ -55,9 +63,9 @@ copyright = u'2016, ' + author
 # built documents.
 #
 # The short X.Y version.
-version = '4.0'
+version = '3'
 # The full version, including alpha/beta/rc tags.
-release = '4.0'
+release = version
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
@@ -92,7 +100,7 @@ default_role = "any"
 #show_authors = False
 
 # The name of the Pygments (syntax highlighting) style to use.
-pygments_style = 'sphinx'
+pygments_style = 'default'
 
 # The default Pygments highlight language.
 highlight_language = 'none'