From a16553c701065222aea85fcc03554357ac6672a2 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Tue, 25 Mar 2025 08:05:54 +0100
Subject: [PATCH] Distclean should remove what `make clean` removes and
 configure artifacts

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index fcfd998979..7bffe96c15 100644
--- a/Makefile
+++ b/Makefile
@@ -316,7 +316,7 @@ clean-l:
 # Remove Coverity scan data:
 	-rm -rf cov-int domjudge-scan.t* coverity-scan.tar.xz cov-submit-data-version.sh
 
-distclean-l: clean-autoconf
+distclean-l: clean-autoconf clean
 	-rm -f paths.mk
 
 maintainer-clean: inplace-uninstall