aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJuanma Barranquero2006-11-18 15:24:01 +0000
committerJuanma Barranquero2006-11-18 15:24:01 +0000
commit59e24ad3334e8035b90711f94b4cbd9c85b20161 (patch)
tree96432aaa226ff6d5fe960d11927cdce0c8084a34
parent7279c90c573c1b5298ecc96b5f95d3cd5be7228c (diff)
downloademacs-59e24ad3334e8035b90711f94b4cbd9c85b20161.tar.gz
emacs-59e24ad3334e8035b90711f94b4cbd9c85b20161.zip
(emacs.dvi): Remove xresmini.texi.
-rw-r--r--man/ChangeLog10
-rw-r--r--man/makefile.w32-in2
2 files changed, 8 insertions, 4 deletions
diff --git a/man/ChangeLog b/man/ChangeLog
index 14a90826e25..c12d09c93bf 100644
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -1,10 +1,14 @@
12006-11-18 Juanma Barranquero <lekktu@gmail.com>
2
3 * makefile.w32-in (emacs.dvi): Remove xresmini.texi.
4
12006-11-18 Jan Dj,Ad(Brv <jan.h.d@swipnet.se> 52006-11-18 Jan Dj,Ad(Brv <jan.h.d@swipnet.se>
2 6
3 * Makefile.in (emacs.dvi): Remove xresmini.texi 7 * Makefile.in (emacs.dvi): Remove xresmini.texi.
4 8
5 * emacs: Include xresources.texi both for info and dvi. 9 * emacs.texi: Include xresources.texi both for info and dvi.
6 10
7 * xresources.texi: Merge text from xresmini.texi 11 * xresources.texi: Merge text from xresmini.texi.
8 12
92006-11-17 Carsten Dominik <dominik@science.uva.nl> 132006-11-17 Carsten Dominik <dominik@science.uva.nl>
10 14
diff --git a/man/makefile.w32-in b/man/makefile.w32-in
index 613151f7ff5..f47c57158fc 100644
--- a/man/makefile.w32-in
+++ b/man/makefile.w32-in
@@ -147,7 +147,7 @@ info.dvi: $(INFOSOURCES)
147$(infodir)/emacs: $(EMACSSOURCES) 147$(infodir)/emacs: $(EMACSSOURCES)
148 $(MAKEINFO) emacs.texi 148 $(MAKEINFO) emacs.texi
149 149
150emacs.dvi: $(EMACSSOURCES) $(srcdir)/xresmini.texi 150emacs.dvi: $(EMACSSOURCES)
151 $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi 151 $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi
152 152
153# This target is here so you could easily get the list of the *.texi 153# This target is here so you could easily get the list of the *.texi