changeset 74050:b99acc9121ba

(emacs.dvi): Remove xresmini.texi.
author Juanma Barranquero <lekktu@gmail.com>
date Sat, 18 Nov 2006 15:23:21 +0000
parents cc7d56f47257
children 87670efb77bf
files man/makefile.w32-in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/man/makefile.w32-in	Sat Nov 18 14:49:07 2006 +0000
+++ b/man/makefile.w32-in	Sat Nov 18 15:23:21 2006 +0000
@@ -147,7 +147,7 @@
 $(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