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