Tick some things off the TODO list.

[ibg.git] / conf.py

diff --git a/conf.py b/conf.py
index 956d4bc187847f645e8a898e5c55e0945f91485e..61bc5ef2bbe79c864900403ffbc589baf12675be 100644 (file)
--- a/conf.py
+++ b/conf.py
@@ -42,6 +42,7 @@ def setup(app):
 # ones.
 extensions = [
     'sphinx.ext.todo',
+    'sphinx.ext.extlinks',
     'tools.blockdiag',
 ]
 
@@ -109,6 +110,14 @@ default_role = "any"
 # output. They are ignored by default.
 #show_authors = False
 
+# Global definitions.
+rst_prolog = open("config/defs.rst").read()
+
+# External links.
+extlinks = {
+    'dm4': ("http://inform-fiction.org/manual/html/%s", ""),
+}
+
 # The name of the Pygments (syntax highlighting) style to use.
 pygments_style = 'friendly'