diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2004-03-21 16:01:38 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2004-03-21 16:01:38 +0000 |
| commit | f08bbbd360da4f8241285912e2aacec1580e8eb5 (patch) | |
| tree | 41ee42e60825c657e4f0372f14b09dcb26cdf16f /w3mimg/Makefile.in | |
| parent | [w3m-dev 04046] (diff) | |
| download | w3m-f08bbbd360da4f8241285912e2aacec1580e8eb5.tar.gz w3m-f08bbbd360da4f8241285912e2aacec1580e8eb5.zip | |
w3mimg/Makefile.in (distclean): rm -f w3mimg.a
From: Fumitoshi UKAI <ukai@debian.or.jp>
Diffstat (limited to '')
| -rw-r--r-- | w3mimg/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/w3mimg/Makefile.in b/w3mimg/Makefile.in index d11ab96..3d22511 100644 --- a/w3mimg/Makefile.in +++ b/w3mimg/Makefile.in @@ -37,8 +37,8 @@ distclean: clean do \ (cd $$subdir && $(MAKE) distclean); \ done + -$(RM) -f w3mimg.a -$(RM) -f Makefile - -$(RM) -f Makefile # |