diff man/makefile.w32-in @ 74050:b99acc9121ba

(emacs.dvi): Remove xresmini.texi.
author Juanma Barranquero <lekktu@gmail.com>
date Sat, 18 Nov 2006 15:23:21 +0000
parents 34c75d68e3b4
children 3d45362f1d38 dbe3f29e61d6
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