diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/emacs/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/emacs/makefile.w32-in | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/doc/emacs/ChangeLog b/doc/emacs/ChangeLog index 3c985dbb02a..41cad3134ff 100644 --- a/doc/emacs/ChangeLog +++ b/doc/emacs/ChangeLog @@ -1,3 +1,7 @@ +2008-06-20 Eli Zaretskii <eliz@gnu.org> + + * makefile.w32-in (distclean): Remove makefile. + 2008-06-17 Nick Roberts <nickrob@snap.net.nz> * building.texi (Starting GUD): Add an entry for gud-gdb. diff --git a/doc/emacs/makefile.w32-in b/doc/emacs/makefile.w32-in index 4b80cd18fd5..c81e6fe47c1 100644 --- a/doc/emacs/makefile.w32-in +++ b/doc/emacs/makefile.w32-in @@ -130,6 +130,7 @@ clean: mostlyclean - $(DEL) $(infodir)/emacs* distclean: clean + - $(DEL) makefile maintainer-clean: distclean - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc |