From d0d62cd564d672f797fcfb0d5bd74007bdbdbf53 Mon Sep 17 00:00:00 2001 From: Jan Djärv Date: Sat, 18 Nov 2006 14:48:02 +0000 Subject: Remove xresmini.texi --- man/ChangeLog | 8 ++++++++ man/Makefile.in | 2 +- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/man/ChangeLog b/man/ChangeLog index e508cc35d0f..14a90826e25 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,3 +1,11 @@ +2006-11-18 Jan Dj,Ad(Brv + + * Makefile.in (emacs.dvi): Remove xresmini.texi + + * emacs: Include xresources.texi both for info and dvi. + + * xresources.texi: Merge text from xresmini.texi + 2006-11-17 Carsten Dominik * org.texi: Fix typos. diff --git a/man/Makefile.in b/man/Makefile.in index 61f775231ae..5008cfbc593 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -144,7 +144,7 @@ info.dvi: ${INFOSOURCES} ../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 -- cgit v1.2.3