X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=conf.py;h=61bc5ef2bbe79c864900403ffbc589baf12675be;hb=95b5702817b987123d71d432f81eeb0c7101b59c;hp=956d4bc187847f645e8a898e5c55e0945f91485e;hpb=2a223f38ada318aa468e46210b7f92941816100e;p=ibg.git

diff --git a/conf.py b/conf.py
index 956d4bc..61bc5ef 100644
--- 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'