mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Allow hyphens in group names for productionlist cross-references
This commit is contained in:
parent
2d1b94361f
commit
6ac7cdbb02
@ -34,7 +34,7 @@ logger = logging.getLogger(__name__)
|
|||||||
# RE for option descriptions
|
# RE for option descriptions
|
||||||
option_desc_re = re.compile(r'((?:/|--|-|\+)?[^\s=]+)(=?\s*.*)')
|
option_desc_re = re.compile(r'((?:/|--|-|\+)?[^\s=]+)(=?\s*.*)')
|
||||||
# RE for grammar tokens
|
# RE for grammar tokens
|
||||||
token_re = re.compile(r'`((~?\w*:)?\w+)`')
|
token_re = re.compile(r'`((~?[\w-]*:)?\w+)`')
|
||||||
|
|
||||||
samp_role = EmphasizedLiteral()
|
samp_role = EmphasizedLiteral()
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user