make distclean: Remove also configure.sh.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 20 May 2019 22:09:51 +0000 (00:09 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 May 2019 06:32:00 +0000 (08:32 +0200)
All derived files should be removed by the distclean target.

Makefile

index b0cd34d22a5f032703deff50c68de3bcf2933f4f..bc6a7a5480d35b277fc55b5f18d2373e74f78baa 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -186,7 +186,8 @@ mostlyclean:
 clean: mostlyclean
        $(RM) *.lsg.* *.flex.* *.bison.* *.6.gz *.suite
 distclean: clean
 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
        $(RM) -r autom4te.cache
 maintainer-clean:
        git clean -dfqx > /dev/null 2>&1