projects
/
ibg.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Do a bunch of proofreading fixes.
[ibg.git]
/
conf.py
diff --git
a/conf.py
b/conf.py
index 1621a528676719d874f386076ddb070956c5d562..956d4bc187847f645e8a898e5c55e0945f91485e 100644
(file)
--- 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