X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=conf.py;h=540662e056fc6d0ac6401dfcd00bbab04b8872a1;hb=8c07ba7a686f62f8c5d7511c2d29e9c05a9edc04;hp=49695f8fbac439a739c51d65732e72815e13cfd4;hpb=e5ef06ce5a29ac08b18639a6b53a260c1c0e4c74;p=ibg.git

diff --git a/conf.py b/conf.py
index 49695f8..540662e 100644
--- a/conf.py
+++ b/conf.py
@@ -22,6 +22,8 @@ import codecs
 # documentation root, use os.path.abspath to make it absolute, like shown here.
 sys.path.insert(0, ".")
 
+import tools.sphinxpatch
+
 from tools.inform import InformLexer
 from tools.transcript import TranscriptLexer
 
@@ -40,6 +42,7 @@ def setup(app):
 # ones.
 extensions = [
     'sphinx.ext.todo',
+    'sphinx.ext.extlinks',
     'tools.blockdiag',
 ]
 
@@ -107,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'
 
@@ -288,7 +301,7 @@ latex_documents = [
 #latex_use_parts = False
 
 # If true, show page references after internal links.
-latex_show_pagerefs = False
+latex_show_pagerefs = True
 
 # If true, show URL addresses after external links.
 #latex_show_urls = False