# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1163863401 0
# Node ID b99acc9121ba21df44a635e32da97a52dc00a766
# Parent  cc7d56f472578a1f84b5f921602dc5fb40938fd7
(emacs.dvi): Remove xresmini.texi.

diff -r cc7d56f47257 -r b99acc9121ba man/makefile.w32-in
--- 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