+2006-11-18 Juanma Barranquero <lekktu@gmail.com>
+
+ * makefile.w32-in (emacs.dvi): Remove xresmini.texi.
+
2006-11-18 Jan Dj\e,Ad\e(Brv <jan.h.d@swipnet.se>
- * Makefile.in (emacs.dvi): Remove xresmini.texi
+ * Makefile.in (emacs.dvi): Remove xresmini.texi.
- * emacs: Include xresources.texi both for info and dvi.
+ * emacs.texi: Include xresources.texi both for info and dvi.
- * xresources.texi: Merge text from xresmini.texi
+ * xresources.texi: Merge text from xresmini.texi.
2006-11-17 Carsten Dominik <dominik@science.uva.nl>
$(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