From ebe94179819bafa1797be7a7d009e3e2e6f45704 Mon Sep 17 00:00:00 2001
From: ArthurHoaro <arthur@hoa.ro>
Date: Sat, 18 Mar 2023 13:19:37 -0400
Subject: [PATCH] Rename authors makefile target to avoid conflicts with
 filename (#1955)

---
 Makefile                      | 2 +-
 doc/md/dev/Release-Shaarli.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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