projects
/
ibg.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
44013e67d329daaa13e8d85ca8396fba5d1ceea5
[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