From 59e24ad3334e8035b90711f94b4cbd9c85b20161 Mon Sep 17 00:00:00 2001 From: Juanma Barranquero Date: Sat, 18 Nov 2006 15:24:01 +0000 Subject: [PATCH] (emacs.dvi): Remove xresmini.texi. --- man/ChangeLog | 10 +++++++--- 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 + + * makefile.w32-in (emacs.dvi): Remove xresmini.texi. + 2006-11-18 Jan Dj,Ad(Brv - * 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 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 -- 2.39.5