add sanity check that $base is '.docbook'

diff --git a/util/merge_copyrights b/util/merge_copyrights
index 28afa730368f99562bcf2f7dba8090d312f0d0d4..1693700cbc8dc74bc427ccdf381b9d2f7378036c 100644 (file)
--- a/util/merge_copyrights
+++ b/util/merge_copyrights
@@ -137,7 +137,7 @@ while (<CHANGES>) {
        }
        my $m_year = int(`sh util/file_year.sh $_`);
        if (($file_types{$_} eq "MAN" || $file_types{$_} eq "HTML") &&
-           -e $base) {
+           $base =~ /\.docbook$/ && -e $base) {
           $file_years{$_} = "DOCBOOK";
        } elsif ($m_year != $year) {
            print "$_: must set copyright year(s) manually\n";