diff --git a/ChangeLog b/ChangeLog index e5dc6bd2..0fb31377 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2003-10-21 Hrvoje Niksic + + * Makefile.in (distclean-top): Remove the libtool script, because + it's generated by configure. + 2003-10-16 Hrvoje Niksic * configure.in: Don't check for int32_t because we're not really diff --git a/Makefile.in b/Makefile.in index ce805796..da17a84c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -158,7 +158,7 @@ clean-top: $(RM) -r .libs distclean-top: clean-top - $(RM) Makefile config.status config.log config.cache stamp-h + $(RM) Makefile config.status config.log config.cache libtool stamp-h $(RM) -r autom4te.cache realclean-top: distclean-top