annotate doc/misc/makefile.w32-in @ 112445:93fcbcb698b0

Improve configuration of makeinfo. * Makefile.in (MAKEINFO): Now controlled by `configure'. (MAKEINFO_OPTS): New variable. Use it where appropriate. (ENVADD): Updated.
author Werner Lemberg <wl@gnu.org>
date Sun, 23 Jan 2011 11:38:14 +0100
parents 417b1e4d63cd
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84328
c5789597edd9 Move the parts of the old man/makefile.w32-in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents: 84304
diff changeset
1 #### -*- Makefile -*- for documentation other than the Emacs manual.
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
112218
376148b31b5e Add 2011 to FSF/AIST copyright years.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
3 # Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
95032
fbe58782bc21 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91659
diff changeset
4 # Free Software Foundation, Inc.
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 # This file is part of GNU Emacs.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7
95032
fbe58782bc21 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91659
diff changeset
8 # GNU Emacs is free software: you can redistribute it and/or modify
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 # it under the terms of the GNU General Public License as published by
95032
fbe58782bc21 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91659
diff changeset
10 # the Free Software Foundation, either version 3 of the License, or
fbe58782bc21 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91659
diff changeset
11 # (at your option) any later version.
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 # GNU Emacs is distributed in the hope that it will be useful,
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 # GNU General Public License for more details.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 # You should have received a copy of the GNU General Public License
95032
fbe58782bc21 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91659
diff changeset
19 # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
fbe58782bc21 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91659
diff changeset
20
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 # Where to find the source code. The source code for Emacs's C kernel is
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 # expected to be in $(srcdir)/src, and the source code for Emacs's
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 # utility programs is expected to be in $(srcdir)/lib-src. This is
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 # set by the configure script's `--srcdir' option.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 srcdir=.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27
84328
c5789597edd9 Move the parts of the old man/makefile.w32-in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents: 84304
diff changeset
28 infodir = $(srcdir)/../../info
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29
110895
b803c876a460 Fix building manuals on MS-Windows using emacsver.texi.
Eli Zaretskii <eliz@gnu.org>
parents: 106815
diff changeset
30 ## Directory with emacsver.texi.
b803c876a460 Fix building manuals on MS-Windows using emacsver.texi.
Eli Zaretskii <eliz@gnu.org>
parents: 106815
diff changeset
31 ## Currently only used by efaq; could be added to MAKEINFO.
b803c876a460 Fix building manuals on MS-Windows using emacsver.texi.
Eli Zaretskii <eliz@gnu.org>
parents: 106815
diff changeset
32 emacsdir = $(srcdir)/../emacs
b803c876a460 Fix building manuals on MS-Windows using emacsver.texi.
Eli Zaretskii <eliz@gnu.org>
parents: 106815
diff changeset
33
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 # The makeinfo program is part of the Texinfo distribution.
111229
9450439a37a3 Fix doc/misc/makefile.w32.in like revno 102137 did with Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents: 110895
diff changeset
35 MAKEINFO = makeinfo --force -I$(emacsdir)
84328
c5789597edd9 Move the parts of the old man/makefile.w32-in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents: 84304
diff changeset
36 MULTI_INSTALL_INFO = $(srcdir)\..\..\nt\multi-install-info.bat
c5789597edd9 Move the parts of the old man/makefile.w32-in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents: 84304
diff changeset
37 INFO_TARGETS = $(infodir)/ccmode \
87007
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
38 $(infodir)/cl $(infodir)/dbus $(infodir)/dired-x \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
39 $(infodir)/ediff $(infodir)/forms $(infodir)/gnus \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
40 $(infodir)/message $(infodir)/sieve $(infodir)/pgg \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
41 $(infodir)/emacs-mime $(infodir)/info $(infodir)/mh-e \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
42 $(infodir)/reftex $(infodir)/sc $(infodir)/vip \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
43 $(infodir)/viper $(infodir)/widget $(infodir)/efaq \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
44 $(infodir)/ada-mode $(infodir)/autotype $(infodir)/calc \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
45 $(infodir)/idlwave $(infodir)/eudc $(infodir)/ebrowse \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
46 $(infodir)/pcl-cvs $(infodir)/woman $(infodir)/eshell \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
47 $(infodir)/org $(infodir)/url $(infodir)/speedbar \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
48 $(infodir)/tramp $(infodir)/ses $(infodir)/smtpmail \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
49 $(infodir)/flymake $(infodir)/newsticker $(infodir)/rcirc \
112201
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
50 $(infodir)/erc $(infodir)/ert \
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
51 $(infodir)/remember $(infodir)/nxml-mode \
102377
505e79fad612 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth.
Juanma Barranquero <lekktu@gmail.com>
parents: 100974
diff changeset
52 $(infodir)/epa $(infodir)/mairix-el $(infodir)/sasl \
106065
b97222e6f7a8 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
Juanma Barranquero <lekktu@gmail.com>
parents: 105497
diff changeset
53 $(infodir)/auth $(infodir)/eieio $(infodir)/ede \
106593
8f433026c790 Add EDT Emulation manual.
Juanma Barranquero <lekktu@gmail.com>
parents: 106065
diff changeset
54 $(infodir)/semantic $(infodir)/edt
87007
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
55 DVI_TARGETS = calc.dvi cc-mode.dvi cl.dvi dbus.dvi dired-x.dvi \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
56 ediff.dvi forms.dvi gnus.dvi message.dvi emacs-mime.dvi \
100463
8634bae28268 * makefile.w32-in (INFO_TARGETS, clean): Add sasl.
Juanma Barranquero <lekktu@gmail.com>
parents: 99552
diff changeset
57 sieve.dvi pgg.dvi mh-e.dvi \
87007
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
58 reftex.dvi sc.dvi vip.dvi viper.dvi widget.dvi faq.dvi \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
59 ada-mode.dvi autotype.dvi idlwave.dvi eudc.dvi ebrowse.dvi \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
60 pcl-cvs.dvi woman.dvi eshell.dvi org.dvi url.dvi \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
61 speedbar.dvi tramp.dvi ses.dvi smtpmail.dvi flymake.dvi \
112201
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
62 newsticker.dvi rcirc.dvi erc.dvi ert.dvi \
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
63 remember.dvi nxml-mode.dvi \
106065
b97222e6f7a8 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
Juanma Barranquero <lekktu@gmail.com>
parents: 105497
diff changeset
64 epa.dvi mairix-el.dvi sasl.dvi auth.dvi eieio.dvi ede.dvi \
106593
8f433026c790 Add EDT Emulation manual.
Juanma Barranquero <lekktu@gmail.com>
parents: 106065
diff changeset
65 semantic.dvi edt.dvi
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 INFOSOURCES = info.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 # The following rule does not work with all versions of `make'.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 .SUFFIXES: .texi .dvi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 .texi.dvi:
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 texi2dvi $<
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 TEXI2DVI = texi2dvi
84328
c5789597edd9 Move the parts of the old man/makefile.w32-in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents: 84304
diff changeset
74 ENVADD = $(srcdir)\..\..\nt\envadd.bat "TEXINPUTS=$(srcdir);$(TEXINPUTS)" \
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 "MAKEINFO=$(MAKEINFO) -I$(srcdir)" /C
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77
91598
132dc5d58977 Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 91540
diff changeset
78 info: $(INFO_TARGETS)
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 dvi: $(DVI_TARGETS)
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 # Note that all the Info targets build the Info files
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 # in srcdir. There is no provision for Info files
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 # to exist in the build directory.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 # In a distribution of Emacs, the Info files should be up to date.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86
91598
132dc5d58977 Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 91540
diff changeset
87 $(infodir)/dir:
132dc5d58977 Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 91540
diff changeset
88 $(MULTI_INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS)
132dc5d58977 Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 91540
diff changeset
89
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 # The following target uses an explicit -o switch to work around
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 # the @setfilename directive in info.texi, which is required for
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 # the Texinfo distribution.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 # Some Windows ports of makeinfo seem to require -o to come before the
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 # texi filename, contrary to GNU standards.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 $(infodir)/info: $(INFOSOURCES)
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 $(MAKEINFO) --no-split -o $@ info.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 info.dvi: $(INFOSOURCES)
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 $(ENVADD) $(TEXI2DVI) $(srcdir)/info.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 $(infodir)/ccmode: cc-mode.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 $(MAKEINFO) cc-mode.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 cc-mode.dvi: cc-mode.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 $(ENVADD) $(TEXI2DVI) $(srcdir)/cc-mode.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 $(infodir)/ada-mode: ada-mode.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 $(MAKEINFO) ada-mode.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 ada-mode.dvi: ada-mode.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 $(ENVADD) $(TEXI2DVI) $(srcdir)/ada-mode.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 $(infodir)/pcl-cvs: pcl-cvs.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 $(MAKEINFO) pcl-cvs.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 pcl-cvs.dvi: pcl-cvs.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 $(ENVADD) $(TEXI2DVI) $(srcdir)/pcl-cvs.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 $(infodir)/eshell: eshell.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 $(MAKEINFO) eshell.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 eshell.dvi: eshell.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 $(ENVADD) $(TEXI2DVI) $(srcdir)/eshell.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 $(infodir)/cl: cl.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 $(MAKEINFO) cl.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 cl.dvi: cl.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 $(ENVADD) $(TEXI2DVI) $(srcdir)/cl.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127
87007
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
128 $(infodir)/dbus: dbus.texi
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
129 $(MAKEINFO) dbus.texi
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
130 dbus.dvi: dbus.texi
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
131 $(ENVADD) $(TEXI2DVI) $(srcdir)/dbus.texi
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
132
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133 $(infodir)/dired-x: dired-x.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 $(MAKEINFO) dired-x.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 dired-x.dvi: dired-x.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 $(ENVADD) $(TEXI2DVI) $(srcdir)/dired-x.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 $(infodir)/ediff: ediff.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139 $(MAKEINFO) ediff.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 ediff.dvi: ediff.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 $(ENVADD) $(TEXI2DVI) $(srcdir)/ediff.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 $(infodir)/flymake: flymake.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 $(MAKEINFO) flymake.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 flymake.dvi: flymake.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146 $(ENVADD) $(TEXI2DVI) $(srcdir)/flymake.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 $(infodir)/forms: forms.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149 $(MAKEINFO) forms.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150 forms.dvi: forms.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 $(ENVADD) $(TEXI2DVI) $(srcdir)/forms.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153 # gnus/message/emacs-mime/sieve/pgg are part of Gnus:
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 $(infodir)/gnus: gnus.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155 $(MAKEINFO) gnus.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 gnus.dvi: gnus.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157 sed -e "/@iflatex/,/@end iflatex/d" $(srcdir)/gnus.texi > gnustmp.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 $(ENVADD) $(TEXI2DVI) gnustmp.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159 cp gnustmp.dvi $*.dvi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160 rm gnustmp.*
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 #
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 $(infodir)/message: message.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 $(MAKEINFO) message.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 message.dvi: message.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 $(ENVADD) $(TEXI2DVI) $(srcdir)/message.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 #
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167 $(infodir)/emacs-mime: emacs-mime.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 $(MAKEINFO) --enable-encoding emacs-mime.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 emacs-mime.dvi: emacs-mime.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs-mime.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 #
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 $(infodir)/sieve: sieve.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173 $(MAKEINFO) sieve.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 sieve.dvi: sieve.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 $(ENVADD) $(TEXI2DVI) $(srcdir)/sieve.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 #
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177 $(infodir)/pgg: pgg.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 $(MAKEINFO) pgg.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 pgg.dvi: pgg.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 $(ENVADD) $(TEXI2DVI) $(srcdir)/pgg.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182 $(infodir)/mh-e: mh-e.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183 $(MAKEINFO) mh-e.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 mh-e.dvi: mh-e.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 $(ENVADD) $(TEXI2DVI) $(srcdir)/mh-e.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187 $(infodir)/reftex: reftex.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 $(MAKEINFO) reftex.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189 reftex.dvi: reftex.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 $(ENVADD) $(TEXI2DVI) $(srcdir)/reftex.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191
85796
5ee8873552f8 (INFO_TARGETS): Add remember.
Juanma Barranquero <lekktu@gmail.com>
parents: 84328
diff changeset
192 $(infodir)/remember: remember.texi
5ee8873552f8 (INFO_TARGETS): Add remember.
Juanma Barranquero <lekktu@gmail.com>
parents: 84328
diff changeset
193 $(MAKEINFO) remember.texi
5ee8873552f8 (INFO_TARGETS): Add remember.
Juanma Barranquero <lekktu@gmail.com>
parents: 84328
diff changeset
194 remember.dvi: remember.texi
5ee8873552f8 (INFO_TARGETS): Add remember.
Juanma Barranquero <lekktu@gmail.com>
parents: 84328
diff changeset
195 $(ENVADD) $(TEXI2DVI) $(srcdir)/remember.texi
5ee8873552f8 (INFO_TARGETS): Add remember.
Juanma Barranquero <lekktu@gmail.com>
parents: 84328
diff changeset
196
100463
8634bae28268 * makefile.w32-in (INFO_TARGETS, clean): Add sasl.
Juanma Barranquero <lekktu@gmail.com>
parents: 99552
diff changeset
197 $(infodir)/sasl: sasl.texi
8634bae28268 * makefile.w32-in (INFO_TARGETS, clean): Add sasl.
Juanma Barranquero <lekktu@gmail.com>
parents: 99552
diff changeset
198 $(MAKEINFO) sasl.texi
8634bae28268 * makefile.w32-in (INFO_TARGETS, clean): Add sasl.
Juanma Barranquero <lekktu@gmail.com>
parents: 99552
diff changeset
199 sasl.dvi: sasl.texi
8634bae28268 * makefile.w32-in (INFO_TARGETS, clean): Add sasl.
Juanma Barranquero <lekktu@gmail.com>
parents: 99552
diff changeset
200 $(ENVADD) $(TEXI2DVI) $(srcdir)/sasl.texi
8634bae28268 * makefile.w32-in (INFO_TARGETS, clean): Add sasl.
Juanma Barranquero <lekktu@gmail.com>
parents: 99552
diff changeset
201
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 $(infodir)/sc: sc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 $(MAKEINFO) sc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 sc.dvi: sc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 $(ENVADD) $(TEXI2DVI) $(srcdir)/sc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 $(infodir)/vip: vip.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 $(MAKEINFO) vip.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 vip.dvi: vip.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210 $(ENVADD) $(TEXI2DVI) $(srcdir)/vip.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 $(infodir)/viper: viper.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213 $(MAKEINFO) viper.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214 viper.dvi: viper.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 $(ENVADD) $(TEXI2DVI) $(srcdir)/viper.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
217 $(infodir)/widget: widget.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218 $(MAKEINFO) widget.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 widget.dvi: widget.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220 $(ENVADD) $(TEXI2DVI) $(srcdir)/widget.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221
110895
b803c876a460 Fix building manuals on MS-Windows using emacsver.texi.
Eli Zaretskii <eliz@gnu.org>
parents: 106815
diff changeset
222 $(infodir)/efaq: faq.texi $(emacsdir)/emacsver.texi
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 $(MAKEINFO) faq.texi
110895
b803c876a460 Fix building manuals on MS-Windows using emacsver.texi.
Eli Zaretskii <eliz@gnu.org>
parents: 106815
diff changeset
224 faq.dvi: faq.texi $(emacsdir)/emacsver.texi
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225 $(ENVADD) $(TEXI2DVI) $(srcdir)/faq.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227 $(infodir)/autotype: autotype.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 $(MAKEINFO) autotype.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 autotype.dvi: autotype.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230 $(ENVADD) $(TEXI2DVI) $(srcdir)/autotype.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231
111229
9450439a37a3 Fix doc/misc/makefile.w32.in like revno 102137 did with Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents: 110895
diff changeset
232 $(infodir)/calc: calc.texi $(emacsdir)/emacsver.texi
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233 $(MAKEINFO) calc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
234
111229
9450439a37a3 Fix doc/misc/makefile.w32.in like revno 102137 did with Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents: 110895
diff changeset
235 calc.dvi: calc.texi $(emacsdir)/emacsver.texi
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236 $(ENVADD) $(TEXI2DVI) $(srcdir)/calc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238 # This is produced with --no-split to avoid making files whose
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239 # names clash on DOS 8+3 filesystems
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240 $(infodir)/idlwave: idlwave.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241 $(MAKEINFO) --no-split idlwave.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 idlwave.dvi: idlwave.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243 $(ENVADD) $(TEXI2DVI) $(srcdir)/idlwave.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245 $(infodir)/eudc: eudc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
246 $(MAKEINFO) eudc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247 eudc.dvi: eudc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 $(ENVADD) $(TEXI2DVI) $(srcdir)/eudc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250 $(infodir)/ebrowse: ebrowse.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 $(MAKEINFO) ebrowse.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 ebrowse.dvi: ebrowse.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253 $(ENVADD) $(TEXI2DVI) $(srcdir)/ebrowse.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
254
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
255 $(infodir)/woman: woman.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 $(MAKEINFO) woman.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257 woman.dvi: woman.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
258 $(ENVADD) $(TEXI2DVI) $(srcdir)/woman.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
259
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
260 $(infodir)/speedbar: speedbar.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
261 $(MAKEINFO) speedbar.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
262 speedbar.dvi: speedbar.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
263 $(ENVADD) $(TEXI2DVI) $(srcdir)/speedbar.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
264
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265 $(infodir)/tramp: tramp.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
266 $(MAKEINFO) tramp.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
267 tramp.dvi: tramp.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 $(ENVADD) $(TEXI2DVI) $(srcdir)/tramp.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
269
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
270 $(infodir)/ses: ses.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271 $(MAKEINFO) ses.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272 ses.dvi: ses.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
273 $(ENVADD) $(TEXI2DVI) $(srcdir)/ses.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
274
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275 $(infodir)/smtpmail: smtpmail.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 $(MAKEINFO) smtpmail.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
277 smtpmail.dvi: smtpmail.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
278 $(ENVADD) $(TEXI2DVI) $(srcdir)/smtpmail.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
279
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
280 $(infodir)/org: org.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281 $(MAKEINFO) org.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282 org.dvi: org.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283 $(ENVADD) $(TEXI2DVI) $(srcdir)/org.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
284
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
285 $(infodir)/url: url.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286 $(MAKEINFO) url.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287 url.dvi: url.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288 $(ENVADD) $(TEXI2DVI) $(srcdir)/url.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
290 $(infodir)/newsticker: newsticker.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
291 $(MAKEINFO) newsticker.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292 newsticker.dvi: newsticker.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293 $(ENVADD) $(TEXI2DVI) $(srcdir)/newsticker.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294
86378
5d15069189ff Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents: 85796
diff changeset
295 $(infodir)/nxml-mode: nxml-mode.texi
5d15069189ff Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents: 85796
diff changeset
296 $(MAKEINFO) nxml-mode.texi
5d15069189ff Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents: 85796
diff changeset
297 nxml-mod.dvi: nxml-mode.texi
5d15069189ff Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents: 85796
diff changeset
298 $(ENVADD) $(TEXI2DVI) $(srcdir)/nxml-mode.texi
5d15069189ff Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents: 85796
diff changeset
299
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300 $(infodir)/rcirc: rcirc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301 $(MAKEINFO) rcirc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302 rcirc.dvi: rcirc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303 $(ENVADD) $(TEXI2DVI) $(srcdir)/rcirc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305 $(infodir)/erc: erc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306 $(MAKEINFO) erc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307 erc.dvi: erc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 $(ENVADD) $(TEXI2DVI) $(srcdir)/erc.texi
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309
112201
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
310 $(infodir)/ert: ert.texi
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
311 $(MAKEINFO) ert.texi
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
312 ert.dvi: ert.texi
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
313 $(ENVADD) $(TEXI2DVI) $(srcdir)/ert.texi
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
314
91659
613a3644824d (INFO_TARGETS, DVI_TARGETS, clean): Add epa.
Juanma Barranquero <lekktu@gmail.com>
parents: 91598
diff changeset
315 $(infodir)/epa: epa.texi
613a3644824d (INFO_TARGETS, DVI_TARGETS, clean): Add epa.
Juanma Barranquero <lekktu@gmail.com>
parents: 91598
diff changeset
316 $(MAKEINFO) epa.texi
613a3644824d (INFO_TARGETS, DVI_TARGETS, clean): Add epa.
Juanma Barranquero <lekktu@gmail.com>
parents: 91598
diff changeset
317 epa.dvi: epa.texi
613a3644824d (INFO_TARGETS, DVI_TARGETS, clean): Add epa.
Juanma Barranquero <lekktu@gmail.com>
parents: 91598
diff changeset
318 $(ENVADD) $(TEXI2DVI) $(srcdir)/epa.texi
613a3644824d (INFO_TARGETS, DVI_TARGETS, clean): Add epa.
Juanma Barranquero <lekktu@gmail.com>
parents: 91598
diff changeset
319
97104
bb04ab23199c * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add mairix-el.
Juanma Barranquero <lekktu@gmail.com>
parents: 96931
diff changeset
320 $(infodir)/mairix-el: mairix-el.texi
bb04ab23199c * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add mairix-el.
Juanma Barranquero <lekktu@gmail.com>
parents: 96931
diff changeset
321 $(MAKEINFO) mairix-el.texi
bb04ab23199c * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add mairix-el.
Juanma Barranquero <lekktu@gmail.com>
parents: 96931
diff changeset
322 mairix-el.dvi: mairix-el.texi
bb04ab23199c * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add mairix-el.
Juanma Barranquero <lekktu@gmail.com>
parents: 96931
diff changeset
323 $(ENVADD) $(TEXI2DVI) $(srcdir)/mairix-el.texi
bb04ab23199c * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add mairix-el.
Juanma Barranquero <lekktu@gmail.com>
parents: 96931
diff changeset
324
102377
505e79fad612 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth.
Juanma Barranquero <lekktu@gmail.com>
parents: 100974
diff changeset
325 $(infodir)/auth: auth.texi
505e79fad612 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth.
Juanma Barranquero <lekktu@gmail.com>
parents: 100974
diff changeset
326 $(MAKEINFO) auth.texi
505e79fad612 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth.
Juanma Barranquero <lekktu@gmail.com>
parents: 100974
diff changeset
327 auth.dvi: auth.texi
505e79fad612 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth.
Juanma Barranquero <lekktu@gmail.com>
parents: 100974
diff changeset
328 $(ENVADD) $(TEXI2DVI) $(srcdir)/auth.texi
505e79fad612 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth.
Juanma Barranquero <lekktu@gmail.com>
parents: 100974
diff changeset
329
105496
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
330 $(infodir)/eieio: eieio.texi
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
331 $(MAKEINFO) eieio.texi
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
332 eieio.dvi: eieio.texi
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
333 $(ENVADD) $(TEXI2DVI) $(srcdir)/eieio.texi
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
334
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
335 $(infodir)/ede: ede.texi
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
336 $(MAKEINFO) ede.texi
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
337 ede.dvi: ede.texi
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
338 $(ENVADD) $(TEXI2DVI) $(srcdir)/ede.texi
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
339
106065
b97222e6f7a8 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
Juanma Barranquero <lekktu@gmail.com>
parents: 105497
diff changeset
340 $(infodir)/semantic: semantic.texi
b97222e6f7a8 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
Juanma Barranquero <lekktu@gmail.com>
parents: 105497
diff changeset
341 $(MAKEINFO) semantic.texi
b97222e6f7a8 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
Juanma Barranquero <lekktu@gmail.com>
parents: 105497
diff changeset
342 semantic.dvi: semantic.texi
b97222e6f7a8 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
Juanma Barranquero <lekktu@gmail.com>
parents: 105497
diff changeset
343 $(ENVADD) $(TEXI2DVI) $(srcdir)/semantic.texi
b97222e6f7a8 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
Juanma Barranquero <lekktu@gmail.com>
parents: 105497
diff changeset
344
106593
8f433026c790 Add EDT Emulation manual.
Juanma Barranquero <lekktu@gmail.com>
parents: 106065
diff changeset
345 $(infodir)/edt: edt.texi
8f433026c790 Add EDT Emulation manual.
Juanma Barranquero <lekktu@gmail.com>
parents: 106065
diff changeset
346 $(MAKEINFO) edt.texi
8f433026c790 Add EDT Emulation manual.
Juanma Barranquero <lekktu@gmail.com>
parents: 106065
diff changeset
347 edt.dvi: edt.texi
8f433026c790 Add EDT Emulation manual.
Juanma Barranquero <lekktu@gmail.com>
parents: 106065
diff changeset
348 $(ENVADD) $(TEXI2DVI) $(srcdir)/edt.texi
8f433026c790 Add EDT Emulation manual.
Juanma Barranquero <lekktu@gmail.com>
parents: 106065
diff changeset
349
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
350 mostlyclean:
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
351 - $(DEL) *.log *.cp *.fn *.ky *.pg *.vr core *.tp *.core gnustmp.*
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 clean: mostlyclean
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354 - $(DEL) *.dvi
87007
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
355 - $(DEL) $(infodir)/ccmode* $(infodir)/cl* \
deb7d877e470 (INFO_TARGETS, DVI_TARGETS, clean): Add dbus.
Juanma Barranquero <lekktu@gmail.com>
parents: 86378
diff changeset
356 $(infodir)/dbus* $(infodir)/dired-x* \
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357 $(infodir)/ediff* $(infodir)/forms* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358 $(infodir)/gnus* $(infodir)/info* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359 $(infodir)/message* $(infodir)/mh-e* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
360 $(infodir)/reftex* $(infodir)/sc* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
361 $(infodir)/vip* $(infodir)/widget* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362 $(infodir)/efaq* $(infodir)/ada-mode* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
363 $(infodir)/autotype* $(infodir)/calc* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
364 $(infodir)/idlwave* $(infodir)/eudc* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
365 $(infodir)/ebrowse* $(infodir)/pcl-cvs* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
366 $(infodir)/woman* $(infodir)/eshell* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
367 $(infodir)/speedbar* $(infodir)/tramp* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
368 $(infodir)/ses* $(infodir)/smtpmail* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
369 $(infodir)/url* $(infodir)/org* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
370 $(infodir)/flymake* $(infodir)/newsticker* \
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
371 $(infodir)/sieve* $(infodir)/pgg* \
112201
c5917804ecad Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents: 111229
diff changeset
372 $(infodir)/erc* $(infodir)/ert* $(infodir)/rcirc* \
91659
613a3644824d (INFO_TARGETS, DVI_TARGETS, clean): Add epa.
Juanma Barranquero <lekktu@gmail.com>
parents: 91598
diff changeset
373 $(infodir)/remember* $(infodir)/nxml-mode* \
100463
8634bae28268 * makefile.w32-in (INFO_TARGETS, clean): Add sasl.
Juanma Barranquero <lekktu@gmail.com>
parents: 99552
diff changeset
374 $(infodir)/epa* $(infodir)/sasl* \
105496
86d7280dba1d * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
Juanma Barranquero <lekktu@gmail.com>
parents: 102377
diff changeset
375 $(infodir)/mairix-el* $(infodir)/auth* \
106065
b97222e6f7a8 * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
Juanma Barranquero <lekktu@gmail.com>
parents: 105497
diff changeset
376 $(infodir)/eieio* $(infodir)/ede* \
106593
8f433026c790 Add EDT Emulation manual.
Juanma Barranquero <lekktu@gmail.com>
parents: 106065
diff changeset
377 $(infodir)/semantic* $(infodir)edt*
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
378
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
379 distclean: clean
96106
d53b5b9f936e (distclean): Remove makefile.
Eli Zaretskii <eliz@gnu.org>
parents: 95032
diff changeset
380 - $(DEL) makefile
84304
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
381
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
382 maintainer-clean: distclean
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
383 - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
384 # Don't delete these, because they are outside the current directory.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
385 # for file in $(INFO_TARGETS); do rm -f $${file}*; done
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
386
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
387
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
388 # Formerly this directory had texindex.c and getopt.c in it
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
389 # and this makefile built them to make texindex.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
390 # That caused trouble because this is run entirely in the source directory.
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
391 # Since we expect to get texi2dvi from elsewhere,
152ecc9a2087 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
392 # it is ok to expect texindex from elsewhere also.