From 9b4fb9b71016de998d3fafc7bd807dbf62ca2e62 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Fri, 20 Jun 2008 15:11:53 +0000 Subject: [PATCH] (distclean): Remove makefile. --- doc/lispintro/ChangeLog | 4 ++++ doc/lispintro/makefile.w32-in | 1 + 2 files changed, 5 insertions(+) diff --git a/doc/lispintro/ChangeLog b/doc/lispintro/ChangeLog index ad1389f64b4..2f054028a21 100644 --- a/doc/lispintro/ChangeLog +++ b/doc/lispintro/ChangeLog @@ -1,3 +1,7 @@ +2008-06-20 Eli Zaretskii + + * makefile.w32-in (distclean): Remove makefile. + 2008-06-16 Glenn Morris * Makefile.am, Makefile.old, aclocal.m4, configure, configure.in: diff --git a/doc/lispintro/makefile.w32-in b/doc/lispintro/makefile.w32-in index 827cb37c39b..eb78946e4db 100644 --- a/doc/lispintro/makefile.w32-in +++ b/doc/lispintro/makefile.w32-in @@ -64,6 +64,7 @@ clean: mostlyclean - $(DEL) *.dvi $(infodir)/eintr* distclean: clean + - $(DEL) makefile maintainer-clean: distclean - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc -- 2.39.2