From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 20 May 2019 22:09:51 +0000 (+0200)
Subject: make distclean: Remove also configure.sh.
X-Git-Tag: v1.0.1~11
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=d48e676ab44873c402acbafc5d7602fdee6a05fb;p=tfortune.git

make distclean: Remove also configure.sh.

All derived files should be removed by the distclean target.
---

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