# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1146930861 0
# Node ID 34c75d68e3b48dd5ce589809c2915a12a2a95fbd
# Parent  fddd2c3aa87b87133a53d1b69bc56fd714ba1d10
makefile.w32-in (emacs.dvi):
Makefile.in (emacs.dvi): Add xresmini.texi

diff -r fddd2c3aa87b -r 34c75d68e3b4 man/Makefile.in
--- a/man/Makefile.in	Sat May 06 15:50:48 2006 +0000
+++ b/man/Makefile.in	Sat May 06 15:54:21 2006 +0000
@@ -144,7 +144,7 @@
 ../info/emacs: ${EMACSSOURCES}
 	cd $(srcdir); $(MAKEINFO) emacs.texi
 
-emacs.dvi: ${EMACSSOURCES}
+emacs.dvi: ${EMACSSOURCES} $(srcdir)/xresmini.texi
 	$(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi
 
 # This target is here so you could easily get the list of the *.texi
diff -r fddd2c3aa87b -r 34c75d68e3b4 man/makefile.w32-in
--- a/man/makefile.w32-in	Sat May 06 15:50:48 2006 +0000
+++ b/man/makefile.w32-in	Sat May 06 15:54:21 2006 +0000
@@ -147,7 +147,7 @@
 $(infodir)/emacs: $(EMACSSOURCES)
 	$(MAKEINFO) emacs.texi
 
-emacs.dvi: $(EMACSSOURCES)
+emacs.dvi: $(EMACSSOURCES) $(srcdir)/xresmini.texi
 	$(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi
 
 # This target is here so you could easily get the list of the *.texi