diff --git a/Makefile b/Makefile index dada1058..22c63138 100644 --- a/Makefile +++ b/Makefile @@ -143,7 +143,7 @@ clean: @rm -rf sandbox ### generate the AUTHORS file from Git commit information -authors: +generate_authors: @cp .github/mailmap .mailmap @git shortlog -sne > AUTHORS @rm .mailmap diff --git a/doc/md/dev/Release-Shaarli.md b/doc/md/dev/Release-Shaarli.md index d79be9ce..e1ada539 100644 --- a/doc/md/dev/Release-Shaarli.md +++ b/doc/md/dev/Release-Shaarli.md @@ -46,7 +46,7 @@ GitHub allows drafting the release notes for the upcoming release, from the [Rel ## Update the list of Git contributors ```bash -$ make authors +$ make generate_authors $ git commit -s -m "Update AUTHORS" ```