From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 22 Jun 2018 19:27:27 +0000 (-0700)
Subject: Fix update-copyright script for files without a header.
X-Git-Tag: cvc5-1.0.0~4957
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ca64e0485fd07167e3d4c905b86ef7c372287b05;p=cvc5.git

Fix update-copyright script for files without a header.
---

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index e052430c7..5c2f92372 100755
--- 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";