diff --git a/util/merge_copyrights b/util/merge_copyrights index b216257bd9..a5d01b784b 100644 --- a/util/merge_copyrights +++ b/util/merge_copyrights @@ -88,6 +88,8 @@ while () { $file_types{$_} = "SGML"; } elsif ($base =~ /doc\/arm\/.*\.html$/) { $file_types{$_} = "X"; + } elsif ($base =~ /\.(sty|pdf|eps)$/) { + $file_types{$_} = "X"; } elsif ($base =~ /\.html$/) { $file_types{$_} = "HTML"; } elsif ($base =~ /\.(man|[0-9])$/) {