From d48e676ab44873c402acbafc5d7602fdee6a05fb Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 21 May 2019 00:09:51 +0200
Subject: [PATCH 1/1] make distclean: Remove also configure.sh.

All derived files should be removed by the distclean target.
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b0cd34d..bc6a7a5 100644
--- a/Makefile
+++ b/Makefile
@@ -186,7 +186,8 @@ mostlyclean:
 clean: mostlyclean
 	$(RM) *.lsg.* *.flex.* *.bison.* *.6.gz *.suite
 distclean: clean
-	$(RM) config.mak config.status config.log config.h config.h.in version.c
+	$(RM) config.mak config.status config.log config.h config.h.in \
+		version.c configure.sh
 	$(RM) -r autom4te.cache
 maintainer-clean:
 	git clean -dfqx > /dev/null 2>&1
-- 
2.39.2