diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2024-06-23 21:14:11 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2024-06-24 11:10:18 +0200 |
| commit | 6909feab8e04087dc2c9eb5407498ce2f6460080 (patch) | |
| tree | 49a6b13d82e595e11ec41686207591107efdaa86 | |
| parent | 4e258bb4c30a76917e812adb111bfb9ddb68a5b9 (diff) | |
| download | rust-6909feab8e04087dc2c9eb5407498ce2f6460080.tar.gz rust-6909feab8e04087dc2c9eb5407498ce2f6460080.zip | |
Allow numbers in rustdoc tests commands
| -rwxr-xr-x | src/etc/htmldocck.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/htmldocck.py b/src/etc/htmldocck.py index 2111b21fe59..3d7ead99282 100755 --- a/src/etc/htmldocck.py +++ b/src/etc/htmldocck.py @@ -270,7 +270,7 @@ KNOWN_DIRECTIVE_NAMES = get_known_directive_names() LINE_PATTERN = re.compile(r''' //@\s+ - (?P<negated>!?)(?P<cmd>[A-Za-z]+(?:-[A-Za-z]+)*) + (?P<negated>!?)(?P<cmd>[A-Za-z0-9]+(?:-[A-Za-z0-9]+)*) (?P<args>.*)$ ''', re.X | re.UNICODE) |