w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README
commit 76122a65232f2d6c4a505a63cb1670211d88cfb7
parent ae4c9b2f65bf3274589dc1f384a69d26954cc951
Author: inu <inu>
Date:   Fri, 28 Mar 2003 10:17:17 +0000

'make distclean' removes core

Diffstat:

MMakefile.in | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/Makefile.in b/Makefile.in
@@ -276,6 +276,7 @@ distclean: clean
 	-$(RM) w3mhelp-lynx_en.html w3mhelp-lynx_ja.html
 	-$(RM) version.c
 	-$(RM) config.h Makefile
+	-$(RM) -f core *.core
 
 sweep:
 	-$(RM) -f core *~ *.bak *.orig *.rej