Mercurial > emacs
annotate doc/misc/Makefile.in @ 112453:06719a229a46 default tip
* calc/calc.el (calc-default-power-reference-level)
(calc-default-field-reference-level): New variables.
* calc/calc-units.el (math-standard-units): Add dB and Np.
(math-logunits): New variable.
(math-extract-logunits, math-logcombine, calcFunc-luplus)
(calcFunc-luminus, calc-luplus, calc-luminus, math-logunit-level)
(calcFunc-fieldlevel, calcFunc-powerlevel, calc-level): New
functions.
(math-find-base-units-rec): Add entry for ln(10).
* calc/calc-help.el (calc-u-prefix-help): Add logarithmic help.
(calc-ul-prefix-help): New function.
* calc/calc-ext.el (calc-init-extensions): Autoload new units
functions. Add keybindings for new units functions.
author | Jay Belanger <jay.p.belanger@gmail.com> |
---|---|
date | Sun, 23 Jan 2011 23:08:04 -0600 |
parents | 93fcbcb698b0 |
children |
rev | line source |
---|---|
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
1 #### Makefile for documentation other than the Emacs manual. |
84282 | 2 |
3 # Copyright (C) 1994, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, | |
112284
61f7601898b1
Refill some copyright headers.
Glenn Morris <rgm@gnu.org>
parents:
112228
diff
changeset
|
4 # 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011 |
61f7601898b1
Refill some copyright headers.
Glenn Morris <rgm@gnu.org>
parents:
112228
diff
changeset
|
5 # Free Software Foundation, Inc. |
84282 | 6 |
7 # This file is part of GNU Emacs. | |
8 | |
95032
fbe58782bc21
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
91647
diff
changeset
|
9 # GNU Emacs is free software: you can redistribute it and/or modify |
84282 | 10 # 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:
91647
diff
changeset
|
11 # 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:
91647
diff
changeset
|
12 # (at your option) any later version. |
84282 | 13 |
14 # GNU Emacs is distributed in the hope that it will be useful, | |
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
17 # GNU General Public License for more details. | |
18 | |
19 # 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:
91647
diff
changeset
|
20 # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
84282 | 21 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
22 SHELL = /bin/sh |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
23 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
24 # Where to find the source code. $(srcdir) will be the man-aux |
84282 | 25 # subdirectory of the source tree. This is |
26 # set by the configure script's `--srcdir' option. | |
27 srcdir=@srcdir@ | |
28 | |
29 # Tell make where to find source files; this is needed for the makefiles. | |
110894
39eed86814a2
Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110890
diff
changeset
|
30 # Note the other doc Makefiles do not use VPATH anymore, instead |
39eed86814a2
Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110890
diff
changeset
|
31 # they set infodir to an absolute path. Not doing that here in |
39eed86814a2
Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110890
diff
changeset
|
32 # case INFO_TARGETS gets too long for some feeble shells. |
39eed86814a2
Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110890
diff
changeset
|
33 # (cf src/Makefile.in's shortlisp) |
84282 | 34 VPATH=@srcdir@ |
35 | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
36 ## Where the output files go. |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
37 ## Note that the setfilename command in the .texi files assumes this. |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
38 infodir=../../info |
110863
f537cb2035e9
Set the version number in the texinfo manuals using configure.
Glenn Morris <rgm@gnu.org>
parents:
110861
diff
changeset
|
39 ## Directory with emacsver.texi. |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
40 ## Currently only used by efaq and calc. |
110863
f537cb2035e9
Set the version number in the texinfo manuals using configure.
Glenn Morris <rgm@gnu.org>
parents:
110861
diff
changeset
|
41 emacsdir = $(srcdir)/../emacs |
84282 | 42 |
43 # The makeinfo program is part of the Texinfo distribution. | |
44 # Use --force so that it generates output even if there are errors. | |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
45 MAKEINFO = @MAKEINFO@ |
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
46 MAKEINFO_OPTS = --force -I$(emacsdir) |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
47 |
102390 | 48 # Also add new entries to INFO_FILES in the top-level Makefile.in. |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
49 INFO_TARGETS = \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
50 $(infodir)/ada-mode \ |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
51 $(infodir)/auth \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
52 $(infodir)/autotype \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
53 $(infodir)/calc \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
54 $(infodir)/ccmode \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
55 $(infodir)/cl \ |
87004
0877a1d16074
* Makefile.in (INFO_TARGETS, DVI_TARGETS): Apply dbus and dbus.dvi
Michael Albinus <michael.albinus@gmx.de>
parents:
86943
diff
changeset
|
56 $(infodir)/dbus \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
57 $(infodir)/dired-x \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
58 $(infodir)/ebrowse \ |
105494 | 59 $(infodir)/ede \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
60 $(infodir)/ediff \ |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
61 $(infodir)/edt \ |
105494 | 62 $(infodir)/eieio \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
63 $(infodir)/emacs-mime \ |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
64 $(infodir)/epa \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
65 $(infodir)/erc \ |
112201
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
66 $(infodir)/ert \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
67 $(infodir)/eshell \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
68 $(infodir)/eudc \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
69 $(infodir)/efaq \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
70 $(infodir)/flymake \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
71 $(infodir)/forms \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
72 $(infodir)/gnus \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
73 $(infodir)/idlwave \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
74 $(infodir)/info \ |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
75 $(infodir)/mairix-el \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
76 $(infodir)/message \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
77 $(infodir)/mh-e \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
78 $(infodir)/newsticker \ |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
79 $(infodir)/nxml-mode \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
80 $(infodir)/org \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
81 $(infodir)/pcl-cvs \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
82 $(infodir)/pgg \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
83 $(infodir)/rcirc \ |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
84 $(infodir)/remember \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
85 $(infodir)/reftex \ |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
86 $(infodir)/sasl \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
87 $(infodir)/sc \ |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
88 $(infodir)/semantic \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
89 $(infodir)/ses \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
90 $(infodir)/sieve \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
91 $(infodir)/smtpmail \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
92 $(infodir)/speedbar \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
93 $(infodir)/tramp \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
94 $(infodir)/url \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
95 $(infodir)/vip \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
96 $(infodir)/viper \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
97 $(infodir)/widget \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
98 $(infodir)/woman |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
99 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
100 DVI_TARGETS = \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
101 ada-mode.dvi \ |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
102 auth.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
103 autotype.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
104 calc.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
105 cc-mode.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
106 cl.dvi \ |
87004
0877a1d16074
* Makefile.in (INFO_TARGETS, DVI_TARGETS): Apply dbus and dbus.dvi
Michael Albinus <michael.albinus@gmx.de>
parents:
86943
diff
changeset
|
107 dbus.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
108 dired-x.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
109 ebrowse.dvi \ |
105494 | 110 ede.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
111 ediff.dvi \ |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
112 edt.dvi \ |
105494 | 113 eieio.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
114 emacs-mime.dvi \ |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
115 epa.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
116 erc.dvi \ |
112201
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
117 ert.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
118 eshell.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
119 eudc.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
120 faq.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
121 flymake.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
122 forms.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
123 gnus.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
124 idlwave.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
125 info.dvi \ |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
126 mairix-el.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
127 message.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
128 mh-e.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
129 newsticker.dvi \ |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
130 nxml-mode.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
131 org.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
132 pcl-cvs.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
133 pgg.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
134 rcirc.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
135 reftex.dvi \ |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
136 remember.dvi \ |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
137 sasl.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
138 sc.dvi \ |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
139 semantic.dvi \ |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
140 ses.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
141 sieve.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
142 smtpmail.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
143 speedbar.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
144 tramp.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
145 url.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
146 vip.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
147 viper.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
148 widget.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
149 woman.dvi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
150 |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
151 PDF_TARGETS = \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
152 ada-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
153 auth.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
154 autotype.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
155 calc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
156 cc-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
157 cl.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
158 dbus.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
159 dired-x.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
160 ebrowse.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
161 ede.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
162 ediff.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
163 edt.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
164 eieio.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
165 emacs-mime.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
166 epa.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
167 erc.pdf \ |
112201
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
168 ert.pdf \ |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
169 eshell.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
170 eudc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
171 faq.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
172 flymake.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
173 forms.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
174 gnus.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
175 idlwave.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
176 info.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
177 mairix-el.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
178 message.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
179 mh-e.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
180 newsticker.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
181 nxml-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
182 org.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
183 pcl-cvs.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
184 pgg.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
185 rcirc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
186 reftex.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
187 remember.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
188 sasl.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
189 sc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
190 semantic.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
191 ses.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
192 sieve.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
193 smtpmail.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
194 speedbar.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
195 tramp.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
196 url.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
197 vip.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
198 viper.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
199 widget.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
200 woman.pdf |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
201 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
202 TEXI2DVI = texi2dvi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
203 TEXI2PDF = texi2pdf |
84282 | 204 |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
205 ENVADD = TEXINPUTS="$(srcdir):$(emacsdir):$(TEXINPUTS)" \ |
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
206 MAKEINFO="$(MAKEINFO) $(MAKEINFO_OPTS)" |
84282 | 207 |
110886
001fbc0986c9
Fix previous doc/*/Makefile.in change.
Glenn Morris <rgm@gnu.org>
parents:
110883
diff
changeset
|
208 mkinfodir = @cd ${srcdir}; test -d ${infodir} || mkdir ${infodir} || test -d ${infodir} |
84282 | 209 |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
210 .PHONY: info dvi pdf |
84282 | 211 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
212 info: $(INFO_TARGETS) |
84282 | 213 |
214 dvi: $(DVI_TARGETS) | |
215 | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
216 pdf: $(PDF_TARGETS) |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
217 |
84282 | 218 # Note that all the Info targets build the Info files |
219 # in srcdir. There is no provision for Info files | |
220 # to exist in the build directory. | |
221 # In a distribution of Emacs, the Info files should be up to date. | |
222 | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
223 ## "short" target names for convenience, to just rebuild one manual. |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
224 ada-mode : $(infodir)/ada-mode |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
225 $(infodir)/ada-mode: ada-mode.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
226 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
227 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
228 ada-mode.dvi: ${srcdir}/ada-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
229 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
230 ada-mode.pdf: ${srcdir}/ada-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
231 $(ENVADD) $(TEXI2PDF) $< |
84282 | 232 |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
233 auth : $(infodir)/auth |
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
234 $(infodir)/auth: auth.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
235 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
236 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
237 auth.dvi: ${srcdir}/auth.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
238 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
239 auth.pdf: ${srcdir}/auth.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
240 $(ENVADD) $(TEXI2PDF) $< |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
241 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
242 autotype : $(infodir)/autotype |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
243 $(infodir)/autotype: autotype.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
244 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
245 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
246 autotype.dvi: ${srcdir}/autotype.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
247 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
248 autotype.pdf: ${srcdir}/autotype.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
249 $(ENVADD) $(TEXI2PDF) $< |
84282 | 250 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
251 calc : $(infodir)/calc |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
252 $(infodir)/calc: calc.texi $(emacsdir)/emacsver.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
253 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
254 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
255 calc.dvi: ${srcdir}/calc.texi $(emacsdir)/emacsver.texi |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
256 $(ENVADD) $(TEXI2DVI) $< |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
257 calc.pdf: ${srcdir}/calc.texi $(emacsdir)/emacsver.texi |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
258 $(ENVADD) $(TEXI2PDF) $< |
84282 | 259 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
260 ccmode : $(infodir)/ccmode |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
261 $(infodir)/ccmode: cc-mode.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
262 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
263 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
264 cc-mode.dvi: ${srcdir}/cc-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
265 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
266 cc-mode.pdf: ${srcdir}/cc-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
267 $(ENVADD) $(TEXI2PDF) $< |
84282 | 268 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
269 cl : $(infodir)/cl |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
270 $(infodir)/cl: cl.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
271 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
272 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
273 cl.dvi: ${srcdir}/cl.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
274 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
275 cl.pdf: ${srcdir}/cl.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
276 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
277 |
86943
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
278 dbus : $(infodir)/dbus |
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
279 $(infodir)/dbus: dbus.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
280 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
281 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
282 dbus.dvi: ${srcdir}/dbus.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
283 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
284 dbus.pdf: ${srcdir}/dbus.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
285 $(ENVADD) $(TEXI2PDF) $< |
86943
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
286 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
287 dired-x : $(infodir)/dired-x |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
288 $(infodir)/dired-x: dired-x.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
289 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
290 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
291 dired-x.dvi: ${srcdir}/dired-x.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
292 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
293 dired-x.pdf: ${srcdir}/dired-x.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
294 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
295 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
296 ebrowse : $(infodir)/ebrowse |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
297 $(infodir)/ebrowse: ebrowse.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
298 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
299 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
300 ebrowse.dvi: ${srcdir}/ebrowse.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
301 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
302 ebrowse.pdf: ${srcdir}/ebrowse.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
303 $(ENVADD) $(TEXI2PDF) $< |
84282 | 304 |
105494 | 305 ede : $(infodir)/ede |
306 $(infodir)/ede: ede.texi | |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
307 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
308 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
309 ede.dvi: ${srcdir}/ede.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
310 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
311 ede.pdf: ${srcdir}/ede.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
312 $(ENVADD) $(TEXI2PDF) $< |
105494 | 313 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
314 ediff : $(infodir)/ediff |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
315 $(infodir)/ediff: ediff.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
316 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
317 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110897
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
318 ediff.dvi: ${srcdir}/ediff.texi |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
319 $(ENVADD) $(TEXI2DVI) $< |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
320 ediff.pdf: ${srcdir}/ediff.texi |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
321 $(ENVADD) $(TEXI2PDF) $< |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
322 |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
323 edt : $(infodir)/edt |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
324 $(infodir)/edt: edt.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
325 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
326 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
327 edt.dvi: ${srcdir}/edt.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
328 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
329 edt.pdf: ${srcdir}/edt.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
330 $(ENVADD) $(TEXI2PDF) $< |
84282 | 331 |
105494 | 332 eieio : $(infodir)/eieio |
333 $(infodir)/eieio: eieio.texi | |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
334 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
335 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
336 eieio.dvi: ${srcdir}/eieio.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
337 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
338 eieio.pdf: ${srcdir}/eieio.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
339 $(ENVADD) $(TEXI2PDF) $< |
105494 | 340 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
341 emacs-mime : $(infodir)/emacs-mime |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
342 $(infodir)/emacs-mime: emacs-mime.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
343 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
344 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) --enable-encoding $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
345 emacs-mime.dvi: ${srcdir}/emacs-mime.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
346 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
347 emacs-mime.pdf: ${srcdir}/emacs-mime.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
348 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
349 |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
350 epa : $(infodir)/epa |
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
351 $(infodir)/epa: epa.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
352 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
353 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110897
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
354 epa.dvi: ${srcdir}/epa.texi |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
355 $(ENVADD) $(TEXI2DVI) $< |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
356 epa.pdf: ${srcdir}/epa.texi |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
357 $(ENVADD) $(TEXI2PDF) $< |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
358 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
359 erc : $(infodir)/erc |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
360 $(infodir)/erc: erc.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
361 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
362 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
363 erc.dvi: ${srcdir}/erc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
364 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
365 erc.pdf: ${srcdir}/erc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
366 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
367 |
112201
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
368 ert : $(infodir)/ert |
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
369 $(infodir)/ert: ert.texi $(infodir) |
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
370 cd $(srcdir); $(MAKEINFO) ert.texi |
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
371 ert.dvi: ert.texi |
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
372 $(ENVADD) $(TEXI2DVI) ${srcdir}/ert.texi |
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
373 ert.pdf: ert.texi |
c5917804ecad
Add ERT, a tool for automated testing in Emacs Lisp.
Christian Ohler <ohler@gnu.org>
parents:
111216
diff
changeset
|
374 $(ENVADD) $(TEXI2PDF) ${srcdir}/ert.texi |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
375 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
376 eshell : $(infodir)/eshell |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
377 $(infodir)/eshell: eshell.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
378 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
379 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
380 eshell.dvi: ${srcdir}/eshell.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
381 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
382 eshell.pdf: ${srcdir}/eshell.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
383 $(ENVADD) $(TEXI2PDF) $< |
84282 | 384 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
385 eudc : $(infodir)/eudc |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
386 $(infodir)/eudc: eudc.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
387 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
388 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
389 eudc.dvi: ${srcdir}/eudc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
390 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
391 eudc.pdf: ${srcdir}/eudc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
392 $(ENVADD) $(TEXI2PDF) $< |
84282 | 393 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
394 efaq : $(infodir)/efaq |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
395 $(infodir)/efaq: faq.texi $(emacsdir)/emacsver.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
396 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
397 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
398 faq.dvi: ${srcdir}/faq.texi $(emacsdir)/emacsver.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
399 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
400 faq.pdf: ${srcdir}/faq.texi $(emacsdir)/emacsver.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
401 $(ENVADD) $(TEXI2PDF) $< |
84282 | 402 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
403 flymake : $(infodir)/flymake |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
404 $(infodir)/flymake: flymake.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
405 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
406 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
407 flymake.dvi: ${srcdir}/flymake.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
408 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
409 flymake.pdf: ${srcdir}/flymake.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
410 $(ENVADD) $(TEXI2PDF) $< |
84282 | 411 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
412 forms : $(infodir)/forms |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
413 $(infodir)/forms: forms.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
414 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
415 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
416 forms.dvi: ${srcdir}/forms.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
417 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
418 forms.pdf: ${srcdir}/forms.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
419 $(ENVADD) $(TEXI2PDF) $< |
84282 | 420 |
421 # gnus/message/emacs-mime/sieve/pgg are part of Gnus: | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
422 gnus : $(infodir)/gnus |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
423 $(infodir)/gnus: gnus.texi gnus-faq.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
424 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
425 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
426 gnus.dvi: ${srcdir}/gnus.texi gnus-faq.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
427 sed -e '/@iflatex/,/@end iflatex/d' $< > gnustmp.texi |
84282 | 428 $(ENVADD) $(TEXI2DVI) gnustmp.texi |
429 cp gnustmp.dvi $*.dvi | |
430 rm gnustmp.* | |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
431 gnus.pdf: ${srcdir}/gnus.texi gnus-faq.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
432 sed -e '/@iflatex/,/@end iflatex/d' $< > gnustmp.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
433 $(ENVADD) $(TEXI2PDF) gnustmp.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
434 cp gnustmp.pdf $@ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
435 rm gnustmp.* |
84282 | 436 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
437 # This is produced with --no-split to avoid making files whose |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
438 # names clash on DOS 8+3 filesystems |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
439 idlwave : $(infodir)/idlwave |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
440 $(infodir)/idlwave: idlwave.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
441 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
442 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) --no-split $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
443 idlwave.dvi: ${srcdir}/idlwave.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
444 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
445 idlwave.pdf: ${srcdir}/idlwave.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
446 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
447 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
448 # The following target uses an explicit -o switch to work around |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
449 # the @setfilename directive in info.texi, which is required for |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
450 # the Texinfo distribution. |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
451 ###info : $(infodir)/info # circular! |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
452 $(infodir)/info: info.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
453 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
454 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) --no-split $< -o $@ |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
455 info.dvi: ${srcdir}/info.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
456 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
457 info.pdf: ${srcdir}/info.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
458 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
459 |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
460 mairix-el : $(infodir)/mairix-el |
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
461 $(infodir)/mairix-el: mairix-el.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
462 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
463 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
464 mairix-el.dvi: ${srcdir}/mairix-el.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
465 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
466 mairix-el.pdf: ${srcdir}/mairix-el.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
467 $(ENVADD) $(TEXI2PDF) $< |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
468 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
469 message : $(infodir)/message |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
470 $(infodir)/message: message.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
471 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
472 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
473 message.dvi: ${srcdir}/message.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
474 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
475 message.pdf: ${srcdir}/message.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
476 $(ENVADD) $(TEXI2PDF) $< |
84282 | 477 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
478 mh-e : $(infodir)/mh-e |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
479 $(infodir)/mh-e: mh-e.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
480 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
481 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
482 mh-e.dvi: ${srcdir}/mh-e.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
483 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
484 mh-e.pdf: ${srcdir}/mh-e.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
485 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
486 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
487 newsticker : $(infodir)/newsticker |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
488 $(infodir)/newsticker: newsticker.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
489 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
490 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
491 newsticker.dvi: ${srcdir}/newsticker.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
492 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
493 newsticker.pdf: ${srcdir}/newsticker.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
494 $(ENVADD) $(TEXI2PDF) $< |
84282 | 495 |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
496 nxml-mode : $(infodir)/nxml-mode |
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
497 $(infodir)/nxml-mode: nxml-mode.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
498 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
499 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
500 nxml-mode.dvi: ${srcdir}/nxml-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
501 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
502 nxml-mode.pdf: ${srcdir}/nxml-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
503 $(ENVADD) $(TEXI2PDF) $< |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
504 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
505 org : $(infodir)/org |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
506 $(infodir)/org: org.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
507 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
508 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
509 org.dvi: ${srcdir}/org.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
510 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
511 org.pdf: ${srcdir}/org.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
512 $(ENVADD) $(TEXI2PDF) $< |
84282 | 513 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
514 pcl-cvs : $(infodir)/pcl-cvs |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
515 $(infodir)/pcl-cvs: pcl-cvs.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
516 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
517 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
518 pcl-cvs.dvi: ${srcdir}/pcl-cvs.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
519 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
520 pcl-cvs.pdf: ${srcdir}/pcl-cvs.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
521 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
522 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
523 pgg : $(infodir)/pgg |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
524 $(infodir)/pgg: pgg.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
525 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
526 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
527 pgg.dvi: ${srcdir}/pgg.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
528 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
529 pgg.pdf: ${srcdir}/pgg.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
530 $(ENVADD) $(TEXI2PDF) $< |
84282 | 531 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
532 rcirc : $(infodir)/rcirc |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
533 $(infodir)/rcirc: rcirc.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
534 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
535 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
536 rcirc.dvi: ${srcdir}/rcirc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
537 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
538 rcirc.pdf: ${srcdir}/rcirc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
539 $(ENVADD) $(TEXI2PDF) $< |
84282 | 540 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
541 reftex : $(infodir)/reftex |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
542 $(infodir)/reftex: reftex.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
543 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
544 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
545 reftex.dvi: ${srcdir}/reftex.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
546 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
547 reftex.pdf: ${srcdir}/reftex.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
548 $(ENVADD) $(TEXI2PDF) $< |
84282 | 549 |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
550 remember : $(infodir)/remember |
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
551 $(infodir)/remember: remember.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
552 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
553 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
554 remember.dvi: ${srcdir}/remember.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
555 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
556 remember.pdf: ${srcdir}/remember.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
557 $(ENVADD) $(TEXI2PDF) $< |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
558 |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
559 sasl : $(infodir)/sasl |
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
560 $(infodir)/sasl: sasl.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
561 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
562 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
563 sasl.dvi: ${srcdir}/sasl.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
564 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
565 sasl.pdf: ${srcdir}/sasl.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
566 $(ENVADD) $(TEXI2PDF) $< |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
567 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
568 sc : $(infodir)/sc |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
569 $(infodir)/sc: sc.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
570 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
571 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
572 sc.dvi: ${srcdir}/sc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
573 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
574 sc.pdf: ${srcdir}/sc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
575 $(ENVADD) $(TEXI2PDF) $< |
84282 | 576 |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
577 semantic : $(infodir)/semantic |
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
578 $(infodir)/semantic: semantic.texi sem-user.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
579 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
580 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
581 semantic.dvi: ${srcdir}/semantic.texi sem-user.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
582 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
583 semantic.pdf: ${srcdir}/semantic.texi sem-user.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
584 $(ENVADD) $(TEXI2PDF) $< |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
585 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
586 ses : $(infodir)/ses |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
587 $(infodir)/ses: ses.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
588 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
589 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
590 ses.dvi: ${srcdir}/ses.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
591 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
592 ses.pdf: ${srcdir}/ses.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
593 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
594 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
595 sieve : $(infodir)/sieve |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
596 $(infodir)/sieve: sieve.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
597 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
598 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
599 sieve.dvi: ${srcdir}/sieve.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
600 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
601 sieve.pdf: ${srcdir}/sieve.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
602 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
603 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
604 smtpmail : $(infodir)/smtpmail |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
605 $(infodir)/smtpmail: smtpmail.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
606 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
607 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
608 smtpmail.dvi: ${srcdir}/smtpmail.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
609 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
610 smtpmail.pdf: ${srcdir}/smtpmail.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
611 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
612 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
613 speedbar : $(infodir)/speedbar |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
614 $(infodir)/speedbar: speedbar.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
615 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
616 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
617 speedbar.dvi: ${srcdir}/speedbar.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
618 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
619 speedbar.pdf: ${srcdir}/speedbar.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
620 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
621 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
622 tramp : $(infodir)/tramp |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
623 $(infodir)/tramp: tramp.texi trampver.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
624 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
625 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) -D emacs $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
626 tramp.dvi: ${srcdir}/tramp.texi trampver.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
627 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
628 tramp.pdf: ${srcdir}/tramp.texi trampver.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
629 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
630 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
631 url : $(infodir)/url |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
632 $(infodir)/url: url.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
633 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
634 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
635 url.dvi: ${srcdir}/url.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
636 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
637 url.pdf: ${srcdir}/url.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
638 $(ENVADD) $(TEXI2PDF) $< |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
639 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
640 vip : $(infodir)/vip |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
641 $(infodir)/vip: vip.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
642 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
643 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
644 vip.dvi: ${srcdir}/vip.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
645 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
646 vip.pdf: ${srcdir}/vip.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
647 $(ENVADD) $(TEXI2PDF) $< |
84282 | 648 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
649 viper : $(infodir)/viper |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
650 $(infodir)/viper: viper.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
651 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
652 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
653 viper.dvi: ${srcdir}/viper.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
654 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
655 viper.pdf: ${srcdir}/viper.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
656 $(ENVADD) $(TEXI2PDF) $< |
84282 | 657 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
658 widget : $(infodir)/widget |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
659 $(infodir)/widget: widget.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
660 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
661 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
662 widget.dvi: ${srcdir}/widget.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
663 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
664 widget.pdf: ${srcdir}/widget.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
665 $(ENVADD) $(TEXI2PDF) $< |
84282 | 666 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
667 woman : $(infodir)/woman |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
668 $(infodir)/woman: woman.texi |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
669 $(mkinfodir) |
112445
93fcbcb698b0
Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents:
112284
diff
changeset
|
670 cd $(srcdir); $(MAKEINFO) $(MAKEINFO_OPTS) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
671 woman.dvi: ${srcdir}/woman.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
672 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
673 woman.pdf: ${srcdir}/woman.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
674 $(ENVADD) $(TEXI2PDF) $< |
84282 | 675 |
676 | |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
677 .PHONY: mostlyclean clean distclean maintainer-clean |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
678 |
84282 | 679 mostlyclean: |
110890
7bfd20f2292d
* doc/misc/Makefile.in (mostlyclean): Delete *.toc.
Glenn Morris <rgm@gnu.org>
parents:
110889
diff
changeset
|
680 rm -f *.aux *.log *.toc *.cp *.cps *.fn *.fns *.ky *.kys \ |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
681 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
682 rm -f gnustmp.* |
84282 | 683 |
684 clean: mostlyclean | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
685 rm -f $(DVI_TARGETS) $(PDF_TARGETS) |
84282 | 686 |
687 distclean: clean | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
688 # rm -f Makefile |
84282 | 689 |
110883 | 690 ## infodir is relative to srcdir. |
84282 | 691 maintainer-clean: distclean |
110883 | 692 cd $(srcdir); for file in $(INFO_TARGETS); do \ |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
693 rm -f $${file} $${file}-[1-9] $${file}-[1-9][0-9]; \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
694 done |
84282 | 695 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
696 ### Makefile ends here |