projects
/
ibg.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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',
# ones.
extensions = [
'sphinx.ext.todo',
+ 'sphinx.ext.extlinks',
'tools.blockdiag',
]
'tools.blockdiag',
]
@@
-109,6
+110,14
@@
default_role = "any"
# output. They are ignored by default.
#show_authors = False
# 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'
# The name of the Pygments (syntax highlighting) style to use.
pygments_style = 'friendly'