projects
/
ibg.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Add book image to HTML output.
[ibg.git]
/
tools
/
sphinxpatch.py
1
"""
2
Various monkey-patches for sphinx.
3
"""
4
5
# Tweak Sphinx domain option regexp to add ~ for Inform options.
6
import re
7
import sphinx.domains.std as std
8
9
std.option_desc_re = re.compile(r'((?:/|--|-|\+)?[-?@~#_a-zA-Z0-9]+)(=?\s*.*)')
10