diff --git a/ChangeLog b/ChangeLog index 957c4ed45..9495a9df5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +Fri Oct 17 14:15:33 2003 Nicola Pero + + * Makefile.postamble (.PHONY): Unused target removed. + * Makefile.postamble: Use ECHO_NOTHING, ECHO_CREATING, END_ECHO. + (after-distclean): Clean everything in a single command. + Fri Oct 17 14:04:27 2003 Nicola Pero * Makefile.postamble (regenerate, stamp-regenerate): Do-nothing