Rename authors makefile target to avoid conflicts with filename (#1955)

This commit is contained in:
ArthurHoaro 2023-03-18 13:19:37 -04:00 committed by GitHub
parent 8cd369aee7
commit ebe9417981
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -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

View file

@ -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"
```