diff man/makefile.w32-in @ 70479:34c75d68e3b4

makefile.w32-in (emacs.dvi): Makefile.in (emacs.dvi): Add xresmini.texi
author Eli Zaretskii <eliz@gnu.org>
date Sat, 06 May 2006 15:54:21 +0000
parents c42f6e43754c
children b99acc9121ba 146cd8369025
line wrap: on
line diff
--- 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