handle doc/arm/*.html

diff --git a/util/merge_copyrights b/util/merge_copyrights
index 63e8a85e0a9b65742a368bf54a3b1a6680aed9b5..36f77f31dc45821fcb948e20957feabee29ca917 100644 (file)
--- a/util/merge_copyrights
+++ b/util/merge_copyrights
@@ -86,6 +86,8 @@ while (<CHANGES>) {
                 $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])$/) {