# HG changeset patch
# User Jan Dj¸«£rv <jan.h.d@swipnet.se>
# Date 1163861266 0
# Node ID 97b5b479183fae3fc1333201215e68454998dc49
# Parent  f7d06a01c34ea1c0869a1b249df253199a7bcf20
Remove xresmini.texi

diff -r f7d06a01c34e -r 97b5b479183f man/Makefile.in
--- a/man/Makefile.in	Sat Nov 18 14:46:54 2006 +0000
+++ b/man/Makefile.in	Sat Nov 18 14:47:46 2006 +0000
@@ -144,7 +144,7 @@
 ../info/emacs: ${EMACSSOURCES}
 	cd $(srcdir); $(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