Allow numbers in rustdoc tests commands

rust-lang · Jun 23, 2024 · 732bc55 · 732bc55
1 parent abbde99
commit 732bc55
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/etc/htmldocck.py b/src/etc/htmldocck.py
@@ -270,7 +270,7 @@ def filter_line(line):
 
 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)