diff --git a/doc/dev/copyrights b/doc/dev/copyrights new file mode 100644 index 0000000000..bd93c914ce --- /dev/null +++ b/doc/dev/copyrights @@ -0,0 +1,16 @@ +# +# Merge and Update copyrights +# + +git clean -dfx +perl util/merge_copyrights +diff util/copyrights util/newcopyrights +... examine output, particularly any files with the "?" type, and +... then edit util/newcopyrights if necessary +$ mv util/newcopyrights util/copyrights +$ perl util/update_copyrights < util/copyrights +$ git diff +... examine output, edit as necessary. mail me about anything that +... the script should have been able to do itself. :-) +$ git add util/copyrights +$ git commit -m 'update_copyrights'