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 540662e056fc6d0ac6401dfcd00bbab04b8872a1..61bc5ef2bbe79c864900403ffbc589baf12675be 100644
(file)
--- a/
conf.py
+++ b/
conf.py
@@
-110,10
+110,8
@@
default_role = "any"
# output. They are ignored by default.
#show_authors = False
# output. They are ignored by default.
#show_authors = False
-# Global substitutions.
-rst_epilog = """
-.. |DM4| replace:: *Inform Designer's Manual*
-"""
+# Global definitions.
+rst_prolog = open("config/defs.rst").read()
# External links.
extlinks = {
# External links.
extlinks = {