diff options
| author | Juanma Barranquero <lekktu@gmail.com> | 2006-11-18 15:24:01 +0000 |
|---|---|---|
| committer | Juanma Barranquero <lekktu@gmail.com> | 2006-11-18 15:24:01 +0000 |
| commit | 59e24ad3334e8035b90711f94b4cbd9c85b20161 (patch) | |
| tree | 96432aaa226ff6d5fe960d11927cdce0c8084a34 | |
| parent | 7279c90c573c1b5298ecc96b5f95d3cd5be7228c (diff) | |
| download | emacs-59e24ad3334e8035b90711f94b4cbd9c85b20161.tar.gz | |
(emacs.dvi): Remove xresmini.texi.
| -rw-r--r-- | man/ChangeLog | 10 | ||||
| -rw-r--r-- | man/makefile.w32-in | 2 |
2 files changed, 8 insertions, 4 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index 14a90826e25..c12d09c93bf 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,10 +1,14 @@ +2006-11-18 Juanma Barranquero <lekktu@gmail.com> + + * makefile.w32-in (emacs.dvi): Remove xresmini.texi. + 2006-11-18 Jan Dj,Ad(Brv <jan.h.d@swipnet.se> - * Makefile.in (emacs.dvi): Remove xresmini.texi + * Makefile.in (emacs.dvi): Remove xresmini.texi. - * emacs: Include xresources.texi both for info and dvi. + * emacs.texi: Include xresources.texi both for info and dvi. - * xresources.texi: Merge text from xresmini.texi + * xresources.texi: Merge text from xresmini.texi. 2006-11-17 Carsten Dominik <dominik@science.uva.nl> diff --git a/man/makefile.w32-in b/man/makefile.w32-in index 613151f7ff5..f47c57158fc 100644 --- a/man/makefile.w32-in +++ b/man/makefile.w32-in @@ -147,7 +147,7 @@ info.dvi: $(INFOSOURCES) $(infodir)/emacs: $(EMACSSOURCES) $(MAKEINFO) emacs.texi -emacs.dvi: $(EMACSSOURCES) $(srcdir)/xresmini.texi +emacs.dvi: $(EMACSSOURCES) $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi # This target is here so you could easily get the list of the *.texi |