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)