From 717a39d5b94173772895ed91a096652b83e7dc24 Mon Sep 17 00:00:00 2001 From: Matthijs Mekking Date: Wed, 2 Jun 2021 15:42:29 +0200 Subject: [PATCH] Add steps to update copyrights This was written down in the outdated doc/dev/release documentation. Since the rest of that file can go, add these steps to a separate file and update it to current standards (e.g. use git commands). --- doc/dev/copyrights | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 doc/dev/copyrights 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'