w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README

commit e1961909bd791878d501f193cf289cbdbc6271f1
parent 2c703d48a5953224e234dcbd4afd8454b92831ec
Author: ukai <ukai>
Date:   Mon, 29 Sep 2003 16:37:13 +0000

distclean

Diffstat:
MMakefile.in | 4++++
Mw3mimg/Makefile.in | 3+++
2 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/Makefile.in b/Makefile.in @@ -280,6 +280,10 @@ clean: sweep done distclean: clean + for subdir in po scripts; \ + do \ + (cd $$subdir && $(MAKE) distclean); \ + done -$(RM) config.cache config.log config.status -$(RM) w3mhelp-w3m_en.html w3mhelp-w3m_ja.html -$(RM) w3mhelp-lynx_en.html w3mhelp-lynx_ja.html diff --git a/w3mimg/Makefile.in b/w3mimg/Makefile.in @@ -25,4 +25,7 @@ clean: (cd $$dir && $(MAKE) clean RM=$(RM)); \ done +distclean: clean + -$(RM) -f Makefile + #