From 732bc55fd323c10c48c345e5850607e42bbf1d50 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume.gomez@huawei.com>
Date: Sun, 23 Jun 2024 21:14:11 +0200
Subject: [PATCH] Allow numbers in rustdoc tests commands

---
 src/etc/htmldocck.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/etc/htmldocck.py b/src/etc/htmldocck.py
index 2111b21fe5965..3d7ead99282b9 100755
--- 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)