X-Git-Url: https://jxself.org/git/?p=ibg.git;a=blobdiff_plain;f=conf.py;fp=conf.py;h=540662e056fc6d0ac6401dfcd00bbab04b8872a1;hp=956d4bc187847f645e8a898e5c55e0945f91485e;hb=fd8f547191457928785b8bc38570b05205f369ac;hpb=abd9bb494e05d4ddebd8363875ba4bd63f993171

diff --git a/conf.py b/conf.py
index 956d4bc..540662e 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,16 @@ default_role = "any"
 # output. They are ignored by default.
 #show_authors = False
 
+# Global substitutions.
+rst_epilog = """
+.. |DM4| replace:: *Inform Designer's Manual*
+"""
+
+# External links.
+extlinks = {
+    'dm4': ("http://inform-fiction.org/manual/html/%s", ""),
+}
+
 # The name of the Pygments (syntax highlighting) style to use.
 pygments_style = 'friendly'