caps names can have 0-9

dajobe · Feb 27, 2011 · 1063c82 · 1063c82
1 parent 4246dd2
commit 1063c82
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/process-changes.pl b/scripts/process-changes.pl
@@ -105,7 +105,7 @@ ($)
   my($name)=@_;
 
   my $escaped_name = $name; $escaped_name =~ s/_/-/g;
-  if($escaped_name =~ /^[-_A-Z]+$/) {
+  if($escaped_name =~ /^[-A-Z0-9]+$/) {
     $escaped_name .= ":CAPS";
   }
   return qq{<link linkend="$escaped_name"><type>$name</type></link>};
@@ -115,7 +115,7 @@ ($)
   my($name)=@_;
 
   my $escaped_name = $name; $escaped_name =~ s/_/-/g;
-  if($escaped_name =~ /^[-_A-Z]+$/) {
+  if($escaped_name =~ /^[-A-Z0-9]+$/) {
     $escaped_name .= ":CAPS";
   }
   return qq{<link linkend="$escaped_name"><literal>$name</literal></link>};