look for opening [

diff --git a/util/update_copyrights b/util/update_copyrights
index 89300539d4af82ee5766305197a256f569ee448c..8f8e96c0488f08071417aec107c7996b2d12cc40 100644 (file)
--- a/util/update_copyrights
+++ b/util/update_copyrights
@@ -322,7 +322,7 @@ foreach $file (keys %file_types) {
                                close(SOURCE) if (eof(SOURCE));
                                next;
                        }
-                       if (/^<!DOCTYPE/) {
+                       if (/^<!DOCTYPE.*\[$/) {
                                while (!eof(SOURCE)) {
                                        $_ = <SOURCE>;
                                        next if (eof(SOURCE));