aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2023-01-06 20:29:23 +0100
committerJonas Bernoulli <jonas@bernoul.li>2023-01-06 20:29:23 +0100
commit8d26868f41822691248da8a352b249ec50d74d22 (patch)
tree91dc773c31eefeb1176b2da32c9f0fe8fc312d9d /Makefile
parent53660de6f89806f233b18c77455af8c392ebb116 (diff)
make: Dependabot is a bot, not an author
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 0 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 6f7c842..fe7ab15 100644
--- a/Makefile
+++ b/Makefile
@@ -151,9 +151,6 @@ texi:
authors:
@$(MAKE) -C docs authors
- @git commit --gpg-sign -m "AUTHORS.md: Update list of contributors" \
- -o -- docs/AUTHORS.md .mailmap
- @git show --pretty= -p HEAD
publish:
@$(MAKE) -C docs publish