From: Matthias Maier Date: Sat, 22 May 2021 16:05:09 +0000 (-0500) Subject: rename AUTHORS to AUTHORS.md X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a4b83c59764a4b19a1b7e992a512fd35bf93e7cd;p=release-papers.git rename AUTHORS to AUTHORS.md --- diff --git a/release-tasks b/release-tasks index 7c72115..77249d5 100644 --- a/release-tasks +++ b/release-tasks @@ -334,19 +334,19 @@ Best [ pull request ] -7/ Create an AUTHORS file in the top-level directory of the branch that +7/ Create an AUTHORS.md file in the top-level directory of the branch that contains a text-only copy of the authors.html file from the website. You can start from lynx -dump -nolist https://www.dealii.org/authors.html >AUTHORS and format it like this: https://github.com/dealii/dealii/blob/dealii-9.0/AUTHORS - Update LICENSE to point to the AUTHORS file: + Update LICENSE.md to point to the AUTHORS.md file: - "[...] refers to the people listed in the file AUTHORS." + "[...] refers to the people listed in the file AUTHORS.md." - git add AUTHORS - git commit -a -m "update AUTHORS" + git add AUTHORS.md + git commit -a -m "update AUTHORS.md" git push origin dealii-9.0