From 158f67e344e934da2db4a3dc1b76fcec5551ee37 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stig=20Bj=C3=B8rlykke?= <stig@bjorlykke.org>
Date: Thu, 22 Oct 2020 15:27:21 +0200
Subject: wslua: Fix generate doc for WSLUA_ATTRIBUTE

Allow digits in Pinfo names when generating documentation.
---
 docbook/make-wsluarm.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docbook')

diff --git a/docbook/make-wsluarm.pl b/docbook/make-wsluarm.pl
index 635a5272c5..99d1c5421c 100755
--- a/docbook/make-wsluarm.pl
+++ b/docbook/make-wsluarm.pl
@@ -440,7 +440,7 @@ sub {
 	${${$function}{args}}{$name} = {descr=>parse_function_arg_desc($4),}
 } ],
 
-[ '/\052\s+WSLUA_ATTRIBUTE\s+([A-Za-z0-9]+)_([a-z_]+)\s+([A-Z]*)\s*(.*?)\052/',
+[ '/\052\s+WSLUA_ATTRIBUTE\s+([A-Za-z0-9]+)_([a-z0-9_]+)\s+([A-Z]*)\s*(.*?)\052/',
 sub {
 	deb ">at=$1=$2=$3=$4=$5=$6=$7=\n";
 	my $name = "$1";
-- 
cgit v1.2.3