diff options
| -rw-r--r-- | doc/lispintro/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/lispintro/makefile.w32-in | 1 |
2 files changed, 5 insertions, 0 deletions
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 @@ | |||
| 1 | 2008-06-20 Eli Zaretskii <eliz@gnu.org> | ||
| 2 | |||
| 3 | * makefile.w32-in (distclean): Remove makefile. | ||
| 4 | |||
| 1 | 2008-06-16 Glenn Morris <rgm@gnu.org> | 5 | 2008-06-16 Glenn Morris <rgm@gnu.org> |
| 2 | 6 | ||
| 3 | * Makefile.am, Makefile.old, aclocal.m4, configure, configure.in: | 7 | * 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 | |||
| 64 | - $(DEL) *.dvi $(infodir)/eintr* | 64 | - $(DEL) *.dvi $(infodir)/eintr* |
| 65 | 65 | ||
| 66 | distclean: clean | 66 | distclean: clean |
| 67 | - $(DEL) makefile | ||
| 67 | 68 | ||
| 68 | maintainer-clean: distclean | 69 | maintainer-clean: distclean |
| 69 | - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc | 70 | - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc |