handle <!ENTITY within <!DOCTYPE

diff --git a/util/update_copyrights b/util/update_copyrights
index aa7d676376dc58dc73fdc20c462183af7f04cde1..89300539d4af82ee5766305197a256f569ee448c 100644 (file)
--- a/util/update_copyrights
+++ b/util/update_copyrights
@@ -317,6 +317,25 @@ foreach $file (keys %file_types) {
                 while (/^<!DOCTYPE/ || /^<!ENTITY/ || /^<\?xml-stylesheet/ || /^<\?xml /) {
                        # print "SGML: $_";
                        $before_copyright = "$before_copyright$_";
+                       if (/\]>$/ ) {
+                               $_ = <SOURCE>;
+                               close(SOURCE) if (eof(SOURCE));
+                               next;
+                       }
+                       if (/^<!DOCTYPE/) {
+                               while (!eof(SOURCE)) {
+                                       $_ = <SOURCE>;
+                                       next if (eof(SOURCE));
+                                       $before_copyright =
+                                                "$before_copyright$_";
+                                       if (/]>$/) {
+                                               $_ = <SOURCE>;
+                                               last;
+                                       }
+                               }
+                               close(SOURCE) if (eof(SOURCE));
+                               next;
+                       }
                        if (/>$/ ) {
                                $_ = <SOURCE>;
                                close(SOURCE) if (eof(SOURCE));