rename AUTHORS to AUTHORS.md

diff --git a/release-tasks b/release-tasks
index 7c72115a577eac68f59976f5e2d31100e3dad0cd..77249d5fc0bf02f0a6ba6a8f07d600869507e34f 100644 (file)
--- 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