Fix update-copyright script for files without a header.

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index e052430c7a0b13a9e79043ce9365ca7e5373f200..5c2f92372cf2f1d3027a893202d5e32154b8dda5 100755 (executable)
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -198,7 +198,8 @@ $line";
       print $OUT "/*! \\file $file\n";
     }
     print $OUT " ** \\verbatim\n";
-    print $OUT " ** Top authors (to current version): $authors\n";
+    print $OUT " ** Top contributors (to current version):\n";
+    print $OUT " **   $authors\n";
     print $OUT $standard_template;
     print $OUT " **\n";
     print $OUT " ** \\brief [[ Add one-line brief description here ]]\n";