diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-04 02:58:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-04 02:58:12 +0000 |
commit | 33988bd64b92960f7bed5c68d1266adc4183454b (patch) | |
tree | fc233761b21193ca89a29c35dac941e88c244a20 /contrib | |
parent | 84354b6332b89c15292a89b065a7478f578eb075 (diff) |
minor fix for update-copyright.pl; ran update-copyright.pl on all sources; regenerated configure script
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/update-copyright.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 948e276d1..c9a4fe05a 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -140,10 +140,15 @@ sub recurse { print "adding\n"; if($file =~ /\.(y|yy|ypp|Y)$/) { print $OUT "%{/******************* -*- C++ -*- */\n"; + print $OUT "/** $file\n"; + } elsif($file =~ /\.g$/) { + # avoid javadoc-style comment here; antlr complains + print $OUT "/* ******************* -*- C++ -*- */\n"; + print $OUT "/* $file\n"; } else { print $OUT "/********************* -*- C++ -*- */\n"; + print $OUT "/** $file\n"; } - print $OUT "/** $file\n"; print $OUT " ** Original author: $author\n"; print $OUT " ** Major contributors: $major_contributors\n"; print $OUT " ** Minor contributors (to current version): $minor_contributors\n"; |