From 9e5854255178c04170bc98839282d4cf3fae7443 Mon Sep 17 00:00:00 2001 From: Mark Andrews Date: Thu, 23 Aug 2012 17:53:30 +1000 Subject: [PATCH] handle doc/arm/*.html --- util/merge_copyrights | 2 ++ 1 file changed, 2 insertions(+) diff --git a/util/merge_copyrights b/util/merge_copyrights index 63e8a85e0a..36f77f31dc 100644 --- a/util/merge_copyrights +++ b/util/merge_copyrights @@ -86,6 +86,8 @@ while () { $base =~ /.xsl$/ || $base =~ /.xml$/) { $file_types{$_} = "SGML"; + } elsif ($base =~ /doc\/arm\/.*\.html$/) { + $file_types{$_} = "X"; } elsif ($base =~ /\.html$/) { $file_types{$_} = "HTML"; } elsif ($base =~ /\.(man|[0-9])$/) {