handle style sheets

diff --git a/util/update_copyrights b/util/update_copyrights
index 546ae46bd134686613cab296f89f67cb0b887ccc..7593aaeb17289d76e90db7bfaef8182fe735c3c9 100644 (file)
--- a/util/update_copyrights
+++ b/util/update_copyrights
@@ -15,7 +15,7 @@
 # OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
 # PERFORMANCE OF THIS SOFTWARE.
 
-# $Id: update_copyrights,v 1.43 2006/10/26 01:42:27 marka Exp $
+# $Id: update_copyrights,v 1.44 2006/11/30 23:58:49 marka Exp $
 
 require 5.002;
 
@@ -241,8 +241,9 @@ foreach $file (keys %file_types) {
                         }
                 }
         } elsif ($sgml_comment) {
-                if (/^<!DOCTYPE/) {
-                        $before_copyright = $_;
+               $before_copyright = "";
+                while (/^<!DOCTYPE/ || /^<\?xml-stylesheet/) {
+                       $before_copyright = "$before_copyright$_";
                         $_ = <SOURCE>;
                                ;
                        while (!eof(SOURCE) && ! /^<!/ ) {