diff options
author | Stig Bjørlykke <stig@bjorlykke.org> | 2020-10-22 15:27:21 +0200 |
---|---|---|
committer | AndersBroman <a.broman58@gmail.com> | 2020-10-22 13:55:22 +0000 |
commit | 158f67e344e934da2db4a3dc1b76fcec5551ee37 (patch) | |
tree | d8993a852db58da068293ce2183ceab3d234dcb3 /docbook | |
parent | f267a0433d366449f9d101ded405cce0619aba5d (diff) |
wslua: Fix generate doc for WSLUA_ATTRIBUTE
Allow digits in Pinfo names when generating documentation.
Diffstat (limited to 'docbook')
-rwxr-xr-x | docbook/make-wsluarm.pl | 2 |
1 files changed, 1 insertions, 1 deletions
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"; |