Two simple patches for "make distclean"

Alexandre Raymond (2):
  Makefile: distclean should clean all possible targets
  Makefile: delete config.log in distclean

 Makefile  |    3 ++-
 configure |    1 +
 2 files changed, 3 insertions(+), 1 deletions(-)

-- 
1.7.5


Reply via email to