From 0da5824b1bf6af4e414da32fbc0870f0a8505308 Mon Sep 17 00:00:00 2001 From: Mark Andrews Date: Wed, 7 Oct 2015 10:36:43 +1100 Subject: [PATCH] teach merge_copyrights about .sty, .pdf, and .eps (cherry picked from commit f7a6d4f915ce622d988916397f313b33ae954afc) --- util/merge_copyrights | 2 ++ 1 file changed, 2 insertions(+) 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])$/) {