caps names can have _

dajobe · Feb 27, 2011 · 4246dd2 · 4246dd2
1 parent c60a9b9
commit 4246dd2
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-Z]+$/) {
     $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-Z]+$/) {
     $escaped_name .= ":CAPS";
   }
   return qq{<link linkend="$escaped_name"><literal>$name</literal></link>};