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]
/
tools
/
sphinxpatch.py
diff --git a/tools/sphinxpatch.py
b/tools/sphinxpatch.py
new file mode 100644
(file)
index 0000000..
44013e6
--- /dev/null
+++ b/
tools/sphinxpatch.py
@@ -0,0
+1,10
@@
+"""
+Various monkey-patches for sphinx.
+"""
+
+# Tweak Sphinx domain option regexp to add ~ for Inform options.
+import re
+import sphinx.domains.std as std
+
+std.option_desc_re = re.compile(r'((?:/|--|-|\+)?[-?@~#_a-zA-Z0-9]+)(=?\s*.*)')
+