Mercurial > emacs
annotate doc/misc/Makefile.in @ 110861:ca28093784c4
Mark some doc/ rules as PHONY.
* doc/misc/Makefile.in (.PHONY): Declare info, dvi, pdf and the clean rules.
* doc/lispref/Makefile.in (.PHONY): Declare info, dvi, pdf, dist.
* doc/lispintro/Makefile.in (.PHONY): Declare info, dvi, html, pdf, dist.
* doc/emacs/Makefile.in (.PHONY): Declare info, dvi, pdf, dist.
(emacs): Remove rule.
(dist): No need to deal with the emacs rule any more.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Fri, 08 Oct 2010 18:02:21 -0700 |
parents | 9a3ce1aa9d45 |
children | f537cb2035e9 |
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, | |
110642
35c472420ce6
Remove unused variable top_srcdir from doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
4 # 2004, 2005, 2006, 2007, 2008, 2009, 2010 |
35c472420ce6
Remove unused variable top_srcdir from doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
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. | |
30 VPATH=@srcdir@ | |
31 | |
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
|
32 ## 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
|
33 ## 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
|
34 infodir=../../info |
84282 | 35 |
36 # The makeinfo program is part of the Texinfo distribution. | |
37 # Use --force so that it generates output even if there are errors. | |
38 MAKEINFO = makeinfo --force | |
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
|
39 |
102390 | 40 # 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
|
41 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
|
42 $(infodir)/ada-mode \ |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
43 $(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
|
44 $(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
|
45 $(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
|
46 $(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
|
47 $(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
|
48 $(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
|
49 $(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
|
50 $(infodir)/ebrowse \ |
105494 | 51 $(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
|
52 $(infodir)/ediff \ |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
53 $(infodir)/edt \ |
105494 | 54 $(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
|
55 $(infodir)/emacs-mime \ |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
56 $(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
|
57 $(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
|
58 $(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
|
59 $(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
|
60 $(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
|
61 $(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
|
62 $(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
|
63 $(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
|
64 $(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
|
65 $(infodir)/info \ |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
66 $(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
|
67 $(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
|
68 $(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
|
69 $(infodir)/newsticker \ |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
70 $(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
|
71 $(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
|
72 $(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
|
73 $(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
|
74 $(infodir)/rcirc \ |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
75 $(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
|
76 $(infodir)/reftex \ |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
77 $(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
|
78 $(infodir)/sc \ |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
79 $(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
|
80 $(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
|
81 $(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
|
82 $(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
|
83 $(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
|
84 $(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
|
85 $(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
|
86 $(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
|
87 $(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
|
88 $(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
|
89 $(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
|
90 |
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 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
|
92 ada-mode.dvi \ |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
93 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
|
94 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
|
95 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
|
96 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
|
97 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
|
98 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
|
99 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
|
100 ebrowse.dvi \ |
105494 | 101 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
|
102 ediff.dvi \ |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
103 edt.dvi \ |
105494 | 104 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
|
105 emacs-mime.dvi \ |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
106 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
|
107 erc.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
|
108 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
|
109 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
|
110 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
|
111 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
|
112 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
|
113 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
|
114 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
|
115 info.dvi \ |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
116 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
|
117 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
|
118 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
|
119 newsticker.dvi \ |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
120 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
|
121 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
|
122 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
|
123 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
|
124 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
|
125 reftex.dvi \ |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
126 remember.dvi \ |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
127 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
|
128 sc.dvi \ |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
129 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
|
130 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
|
131 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
|
132 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
|
133 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
|
134 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
|
135 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
|
136 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
|
137 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
|
138 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
|
139 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
|
140 |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
141 PDF_TARGETS = \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
142 ada-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
143 auth.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
144 autotype.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
145 calc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
146 cc-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
147 cl.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
148 dbus.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
149 dired-x.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
150 ebrowse.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
151 ede.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
152 ediff.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
153 edt.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
154 eieio.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
155 emacs-mime.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
156 epa.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
157 erc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
158 eshell.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
159 eudc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
160 faq.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
161 flymake.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
162 forms.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
163 gnus.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
164 idlwave.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
165 info.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
166 mairix-el.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
167 message.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
168 mh-e.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
169 newsticker.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
170 nxml-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
171 org.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
172 pcl-cvs.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
173 pgg.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
174 rcirc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
175 reftex.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
176 remember.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
177 sasl.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
178 sc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
179 semantic.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
180 ses.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
181 sieve.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
182 smtpmail.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
183 speedbar.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
184 tramp.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
185 url.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
186 vip.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
187 viper.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
188 widget.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
189 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
|
190 |
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
|
191 TEXI2DVI = texi2dvi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
192 TEXI2PDF = texi2pdf |
84282 | 193 |
194 # The following rule does not work with all versions of `make'. | |
195 .SUFFIXES: .texi .dvi | |
196 .texi.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
|
197 $(TEXI2DVI) $< |
84282 | 198 |
199 ENVADD = TEXINPUTS="$(srcdir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)" | |
200 | |
201 | |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
202 .PHONY: info dvi pdf |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
203 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
204 info: $(INFO_TARGETS) |
84282 | 205 |
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
|
206 $(infodir): |
110786
9a3ce1aa9d45
Minor doc/*/Makefile.in change.
Glenn Morris <rgm@gnu.org>
parents:
110781
diff
changeset
|
207 mkdir $@ || test -d $@ |
84282 | 208 |
209 dvi: $(DVI_TARGETS) | |
210 | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
211 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
|
212 |
84282 | 213 # Note that all the Info targets build the Info files |
214 # in srcdir. There is no provision for Info files | |
215 # to exist in the build directory. | |
216 # In a distribution of Emacs, the Info files should be up to date. | |
217 | |
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
|
218 ## "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
|
219 ada-mode : $(infodir)/ada-mode |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
220 $(infodir)/ada-mode: ada-mode.texi $(infodir) |
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
|
221 cd $(srcdir); $(MAKEINFO) ada-mode.texi |
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
|
222 ada-mode.dvi: ada-mode.texi |
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 $(ENVADD) $(TEXI2DVI) ${srcdir}/ada-mode.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
224 ada-mode.pdf: ada-mode.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
225 $(ENVADD) $(TEXI2PDF) ${srcdir}/ada-mode.texi |
84282 | 226 |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
227 auth : $(infodir)/auth |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
228 $(infodir)/auth: auth.texi $(infodir) |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
229 cd $(srcdir); $(MAKEINFO) auth.texi |
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
230 auth.dvi: auth.texi |
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
231 $(ENVADD) $(TEXI2DVI) ${srcdir}/auth.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
232 auth.pdf: auth.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
233 $(ENVADD) $(TEXI2PDF) ${srcdir}/auth.texi |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
234 |
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
|
235 autotype : $(infodir)/autotype |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
236 $(infodir)/autotype: autotype.texi $(infodir) |
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
|
237 cd $(srcdir); $(MAKEINFO) autotype.texi |
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
|
238 autotype.dvi: autotype.texi |
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
|
239 $(ENVADD) $(TEXI2DVI) ${srcdir}/autotype.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
240 autotype.pdf: autotype.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
241 $(ENVADD) $(TEXI2PDF) ${srcdir}/autotype.texi |
84282 | 242 |
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
|
243 calc : $(infodir)/calc |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
244 $(infodir)/calc: calc.texi $(infodir) |
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
|
245 cd $(srcdir); $(MAKEINFO) calc.texi |
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
|
246 calc.dvi: calc.texi |
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
|
247 $(ENVADD) $(TEXI2DVI) ${srcdir}/calc.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
248 calc.pdf: calc.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
249 $(ENVADD) $(TEXI2PDF) ${srcdir}/calc.texi |
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 ccmode : $(infodir)/ccmode |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
252 $(infodir)/ccmode: cc-mode.texi $(infodir) |
84282 | 253 cd $(srcdir); $(MAKEINFO) cc-mode.texi |
254 cc-mode.dvi: cc-mode.texi | |
255 $(ENVADD) $(TEXI2DVI) ${srcdir}/cc-mode.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
256 cc-mode.pdf: cc-mode.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
257 $(ENVADD) $(TEXI2PDF) ${srcdir}/cc-mode.texi |
84282 | 258 |
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
|
259 cl : $(infodir)/cl |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
260 $(infodir)/cl: cl.texi $(infodir) |
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
|
261 cd $(srcdir); $(MAKEINFO) cl.texi |
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
|
262 cl.dvi: cl.texi |
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
|
263 $(ENVADD) $(TEXI2DVI) ${srcdir}/cl.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
264 cl.pdf: cl.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
265 $(ENVADD) $(TEXI2PDF) ${srcdir}/cl.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
|
266 |
86943
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
267 dbus : $(infodir)/dbus |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
268 $(infodir)/dbus: dbus.texi $(infodir) |
86943
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
269 cd $(srcdir); $(MAKEINFO) dbus.texi |
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
270 dbus.dvi: dbus.texi |
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
271 $(ENVADD) $(TEXI2DVI) ${srcdir}/dbus.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
272 dbus.pdf: dbus.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
273 $(ENVADD) $(TEXI2PDF) ${srcdir}/dbus.texi |
86943
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
274 |
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
|
275 dired-x : $(infodir)/dired-x |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
276 $(infodir)/dired-x: dired-x.texi $(infodir) |
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 cd $(srcdir); $(MAKEINFO) dired-x.texi |
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
|
278 dired-x.dvi: dired-x.texi |
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
|
279 $(ENVADD) $(TEXI2DVI) ${srcdir}/dired-x.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
280 dired-x.pdf: dired-x.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
281 $(ENVADD) $(TEXI2PDF) ${srcdir}/dired-x.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
|
282 |
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
|
283 ebrowse : $(infodir)/ebrowse |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
284 $(infodir)/ebrowse: ebrowse.texi $(infodir) |
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
|
285 cd $(srcdir); $(MAKEINFO) ebrowse.texi |
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
|
286 ebrowse.dvi: ebrowse.texi |
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 $(ENVADD) $(TEXI2DVI) ${srcdir}/ebrowse.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
288 ebrowse.pdf: ebrowse.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
289 $(ENVADD) $(TEXI2PDF) ${srcdir}/ebrowse.texi |
84282 | 290 |
105494 | 291 ede : $(infodir)/ede |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
292 $(infodir)/ede: ede.texi $(infodir) |
105494 | 293 cd $(srcdir); $(MAKEINFO) ede.texi |
294 ede.dvi: ede.texi | |
295 $(ENVADD) $(TEXI2DVI) ${srcdir}/ede.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
296 ede.pdf: ede.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
297 $(ENVADD) $(TEXI2PDF) ${srcdir}/ede.texi |
105494 | 298 |
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
|
299 ediff : $(infodir)/ediff |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
300 $(infodir)/ediff: ediff.texi $(infodir) |
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
|
301 cd $(srcdir); $(MAKEINFO) ediff.texi |
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
|
302 ediff.dvi: ediff.texi |
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
|
303 $(ENVADD) $(TEXI2DVI) ${srcdir}/ediff.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
304 ediff.pdf: ediff.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
305 $(ENVADD) $(TEXI2PDF) ${srcdir}/ediff.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
306 |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
307 edt : $(infodir)/edt |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
308 $(infodir)/edt: edt.texi $(infodir) |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
309 cd $(srcdir); $(MAKEINFO) edt.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
310 edt.dvi: edt.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
311 $(ENVADD) $(TEXI2DVI) ${srcdir}/edt.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
312 edt.pdf: edt.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
313 $(ENVADD) $(TEXI2PDF) ${srcdir}/edt.texi |
84282 | 314 |
105494 | 315 eieio : $(infodir)/eieio |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
316 $(infodir)/eieio: eieio.texi $(infodir) |
105494 | 317 cd $(srcdir); $(MAKEINFO) eieio.texi |
318 eieio.dvi: eieio.texi | |
319 $(ENVADD) $(TEXI2DVI) ${srcdir}/eieio.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
320 eieio.pdf: eieio.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
321 $(ENVADD) $(TEXI2PDF) ${srcdir}/eieio.texi |
105494 | 322 |
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
|
323 emacs-mime : $(infodir)/emacs-mime |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
324 $(infodir)/emacs-mime: emacs-mime.texi $(infodir) |
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
|
325 cd $(srcdir); $(MAKEINFO) --enable-encoding emacs-mime.texi |
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
|
326 emacs-mime.dvi: emacs-mime.texi |
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
|
327 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs-mime.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
328 emacs-mime.pdf: emacs-mime.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
329 $(ENVADD) $(TEXI2PDF) ${srcdir}/emacs-mime.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
|
330 |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
331 epa : $(infodir)/epa |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
332 $(infodir)/epa: epa.texi $(infodir) |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
333 cd $(srcdir); $(MAKEINFO) epa.texi |
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
334 epa.dvi: epa.texi |
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
335 $(ENVADD) $(TEXI2DVI) ${srcdir}/epa.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
336 epa.pdf: epa.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
337 $(ENVADD) $(TEXI2PDF) ${srcdir}/epa.texi |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
338 |
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
|
339 erc : $(infodir)/erc |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
340 $(infodir)/erc: erc.texi $(infodir) |
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 cd $(srcdir); $(MAKEINFO) erc.texi |
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 erc.dvi: erc.texi |
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
|
343 $(ENVADD) $(TEXI2DVI) ${srcdir}/erc.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
344 erc.pdf: erc.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
345 $(ENVADD) $(TEXI2PDF) ${srcdir}/erc.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
|
346 |
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
|
347 eshell : $(infodir)/eshell |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
348 $(infodir)/eshell: eshell.texi $(infodir) |
84282 | 349 cd $(srcdir); $(MAKEINFO) eshell.texi |
350 eshell.dvi: eshell.texi | |
351 $(ENVADD) $(TEXI2DVI) ${srcdir}/eshell.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
352 eshell.pdf: eshell.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
353 $(ENVADD) $(TEXI2PDF) ${srcdir}/eshell.texi |
84282 | 354 |
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
|
355 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
|
356 $(infodir)/eudc: eudc.texi |
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
|
357 cd $(srcdir); $(MAKEINFO) eudc.texi |
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
|
358 eudc.dvi: eudc.texi |
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 $(ENVADD) $(TEXI2DVI) ${srcdir}/eudc.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
360 eudc.pdf: eudc.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
361 $(ENVADD) $(TEXI2PDF) ${srcdir}/eudc.texi |
84282 | 362 |
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
|
363 efaq : $(infodir)/efaq |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
364 $(infodir)/efaq: faq.texi $(infodir) |
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
|
365 cd $(srcdir); $(MAKEINFO) faq.texi |
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
|
366 faq.dvi: faq.texi |
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 $(ENVADD) $(TEXI2DVI) ${srcdir}/faq.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
368 faq.pdf: faq.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
369 $(ENVADD) $(TEXI2PDF) ${srcdir}/faq.texi |
84282 | 370 |
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
|
371 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
|
372 $(infodir)/flymake: flymake.texi |
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
|
373 cd $(srcdir); $(MAKEINFO) flymake.texi |
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
|
374 flymake.dvi: flymake.texi |
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 $(ENVADD) $(TEXI2DVI) ${srcdir}/flymake.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
376 flymake.pdf: flymake.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
377 $(ENVADD) $(TEXI2PDF) ${srcdir}/flymake.texi |
84282 | 378 |
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
|
379 forms : $(infodir)/forms |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
380 $(infodir)/forms: forms.texi $(infodir) |
84282 | 381 cd $(srcdir); $(MAKEINFO) forms.texi |
382 forms.dvi: forms.texi | |
383 $(ENVADD) $(TEXI2DVI) ${srcdir}/forms.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
384 forms.pdf: forms.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
385 $(ENVADD) $(TEXI2PDF) ${srcdir}/forms.texi |
84282 | 386 |
387 # 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
|
388 gnus : $(infodir)/gnus |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
389 $(infodir)/gnus: gnus.texi gnus-faq.texi $(infodir) |
84282 | 390 cd $(srcdir); $(MAKEINFO) gnus.texi |
391 gnus.dvi: gnus.texi gnus-faq.texi | |
392 sed -e '/@iflatex/,/@end iflatex/d' ${srcdir}/gnus.texi > gnustmp.texi | |
393 $(ENVADD) $(TEXI2DVI) gnustmp.texi | |
394 cp gnustmp.dvi $*.dvi | |
395 rm gnustmp.* | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
396 gnus.pdf: gnus.texi gnus-faq.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
397 sed -e '/@iflatex/,/@end iflatex/d' ${srcdir}/gnus.texi > gnustmp.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
398 $(ENVADD) $(TEXI2PDF) gnustmp.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
399 cp gnustmp.pdf $@ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
400 rm gnustmp.* |
84282 | 401 |
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
|
402 # 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
|
403 # 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
|
404 idlwave : $(infodir)/idlwave |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
405 $(infodir)/idlwave: idlwave.texi $(infodir) |
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
|
406 cd $(srcdir); $(MAKEINFO) --no-split idlwave.texi |
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
|
407 idlwave.dvi: idlwave.texi |
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
|
408 $(ENVADD) $(TEXI2DVI) ${srcdir}/idlwave.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
409 idlwave.pdf: idlwave.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
410 $(ENVADD) $(TEXI2PDF) ${srcdir}/idlwave.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
|
411 |
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 # 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
|
413 # 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
|
414 # 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
|
415 ###info : $(infodir)/info # circular! |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
416 $(infodir)/info: info.texi $(infodir) |
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
|
417 cd $(srcdir); $(MAKEINFO) --no-split info.texi -o $@ |
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
|
418 info.dvi: info.texi |
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
|
419 $(ENVADD) $(TEXI2DVI) ${srcdir}/info.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
420 info.pdf: info.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
421 $(ENVADD) $(TEXI2PDF) ${srcdir}/info.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
|
422 |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
423 mairix-el : $(infodir)/mairix-el |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
424 $(infodir)/mairix-el: mairix-el.texi $(infodir) |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
425 cd $(srcdir); $(MAKEINFO) mairix-el.texi |
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
426 mairix-el.dvi: mairix-el.texi |
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
427 $(ENVADD) $(TEXI2DVI) ${srcdir}/mairix-el.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
428 mairix-el.pdf: mairix-el.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
429 $(ENVADD) $(TEXI2PDF) ${srcdir}/mairix-el.texi |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
430 |
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
|
431 message : $(infodir)/message |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
432 $(infodir)/message: message.texi $(infodir) |
84282 | 433 cd $(srcdir); $(MAKEINFO) message.texi |
434 message.dvi: message.texi | |
435 $(ENVADD) $(TEXI2DVI) ${srcdir}/message.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
436 message.pdf: message.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
437 $(ENVADD) $(TEXI2PDF) ${srcdir}/message.texi |
84282 | 438 |
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
|
439 mh-e : $(infodir)/mh-e |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
440 $(infodir)/mh-e: mh-e.texi $(infodir) |
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
|
441 cd $(srcdir); $(MAKEINFO) mh-e.texi |
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
|
442 mh-e.dvi: mh-e.texi |
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
|
443 $(ENVADD) $(TEXI2DVI) ${srcdir}/mh-e.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
444 mh-e.pdf: mh-e.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
445 $(ENVADD) $(TEXI2PDF) ${srcdir}/mh-e.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
|
446 |
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 newsticker : $(infodir)/newsticker |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
448 $(infodir)/newsticker: newsticker.texi $(infodir) |
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
|
449 cd $(srcdir); $(MAKEINFO) newsticker.texi |
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 newsticker.dvi: newsticker.texi |
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 $(ENVADD) $(TEXI2DVI) ${srcdir}/newsticker.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
452 newsticker.pdf: newsticker.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
453 $(ENVADD) $(TEXI2PDF) ${srcdir}/newsticker.texi |
84282 | 454 |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
455 nxml-mode : $(infodir)/nxml-mode |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
456 $(infodir)/nxml-mode: nxml-mode.texi $(infodir) |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
457 cd $(srcdir); $(MAKEINFO) nxml-mode.texi |
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
458 nxml-mode.dvi: nxml-mode.texi |
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
459 $(ENVADD) $(TEXI2DVI) ${srcdir}/nxml-mode.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
460 nxml-mode.pdf: nxml-mode.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
461 $(ENVADD) $(TEXI2PDF) ${srcdir}/nxml-mode.texi |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
462 |
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
|
463 org : $(infodir)/org |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
464 $(infodir)/org: org.texi $(infodir) |
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
|
465 cd $(srcdir); $(MAKEINFO) org.texi |
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
|
466 org.dvi: org.texi |
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
|
467 $(ENVADD) $(TEXI2DVI) ${srcdir}/org.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
468 org.pdf: org.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
469 $(ENVADD) $(TEXI2PDF) ${srcdir}/org.texi |
84282 | 470 |
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
|
471 pcl-cvs : $(infodir)/pcl-cvs |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
472 $(infodir)/pcl-cvs: pcl-cvs.texi $(infodir) |
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
|
473 cd $(srcdir); $(MAKEINFO) pcl-cvs.texi |
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
|
474 pcl-cvs.dvi: pcl-cvs.texi |
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
|
475 $(ENVADD) $(TEXI2DVI) ${srcdir}/pcl-cvs.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
476 pcl-cvs.pdf: pcl-cvs.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
477 $(ENVADD) $(TEXI2PDF) ${srcdir}/pcl-cvs.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
|
478 |
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 pgg : $(infodir)/pgg |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
480 $(infodir)/pgg: pgg.texi $(infodir) |
84282 | 481 cd $(srcdir); $(MAKEINFO) pgg.texi |
482 pgg.dvi: pgg.texi | |
483 $(ENVADD) $(TEXI2DVI) ${srcdir}/pgg.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
484 pgg.pdf: pgg.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
485 $(ENVADD) $(TEXI2PDF) ${srcdir}/pgg.texi |
84282 | 486 |
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
|
487 rcirc : $(infodir)/rcirc |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
488 $(infodir)/rcirc: rcirc.texi $(infodir) |
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
|
489 cd $(srcdir); $(MAKEINFO) rcirc.texi |
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
|
490 rcirc.dvi: rcirc.texi |
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
|
491 $(ENVADD) $(TEXI2DVI) ${srcdir}/rcirc.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
492 rcirc.pdf: rcirc.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
493 $(ENVADD) $(TEXI2PDF) ${srcdir}/rcirc.texi |
84282 | 494 |
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
|
495 reftex : $(infodir)/reftex |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
496 $(infodir)/reftex: reftex.texi $(infodir) |
84282 | 497 cd $(srcdir); $(MAKEINFO) reftex.texi |
498 reftex.dvi: reftex.texi | |
499 $(ENVADD) $(TEXI2DVI) ${srcdir}/reftex.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
500 reftex.pdf: reftex.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
501 $(ENVADD) $(TEXI2PDF) ${srcdir}/reftex.texi |
84282 | 502 |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
503 remember : $(infodir)/remember |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
504 $(infodir)/remember: remember.texi $(infodir) |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
505 cd $(srcdir); $(MAKEINFO) remember.texi |
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
506 remember.dvi: remember.texi |
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
507 $(ENVADD) $(TEXI2DVI) ${srcdir}/remember.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
508 remember.pdf: remember.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
509 $(ENVADD) $(TEXI2PDF) ${srcdir}/remember.texi |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
510 |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
511 sasl : $(infodir)/sasl |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
512 $(infodir)/sasl: sasl.texi $(infodir) |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
513 cd $(srcdir); $(MAKEINFO) sasl.texi |
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
514 sasl.dvi: sasl.texi |
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
515 $(ENVADD) $(TEXI2DVI) ${srcdir}/sasl.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
516 sasl.pdf: sasl.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
517 $(ENVADD) $(TEXI2PDF) ${srcdir}/sasl.texi |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
518 |
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
|
519 sc : $(infodir)/sc |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
520 $(infodir)/sc: sc.texi $(infodir) |
84282 | 521 cd $(srcdir); $(MAKEINFO) sc.texi |
522 sc.dvi: sc.texi | |
523 $(ENVADD) $(TEXI2DVI) ${srcdir}/sc.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
524 sc.pdf: sc.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
525 $(ENVADD) $(TEXI2PDF) ${srcdir}/sc.texi |
84282 | 526 |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
527 semantic : $(infodir)/semantic |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
528 $(infodir)/semantic: semantic.texi sem-user.texi $(infodir) |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
529 cd $(srcdir); $(MAKEINFO) semantic.texi |
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
530 semantic.dvi: semantic.texi |
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
531 $(ENVADD) $(TEXI2DVI) ${srcdir}/semantic.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
532 semantic.pdf: semantic.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
533 $(ENVADD) $(TEXI2PDF) ${srcdir}/semantic.texi |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
534 |
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
|
535 ses : $(infodir)/ses |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
536 $(infodir)/ses: ses.texi $(infodir) |
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
|
537 cd $(srcdir); $(MAKEINFO) ses.texi |
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
|
538 ses.dvi: ses.texi |
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
|
539 $(ENVADD) $(TEXI2DVI) ${srcdir}/ses.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
540 ses.pdf: ses.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
541 $(ENVADD) $(TEXI2PDF) ${srcdir}/ses.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
|
542 |
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
|
543 sieve : $(infodir)/sieve |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
544 $(infodir)/sieve: sieve.texi $(infodir) |
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
|
545 cd $(srcdir); $(MAKEINFO) sieve.texi |
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
|
546 sieve.dvi: sieve.texi |
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
|
547 $(ENVADD) $(TEXI2DVI) ${srcdir}/sieve.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
548 sieve.pdf: sieve.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
549 $(ENVADD) $(TEXI2PDF) ${srcdir}/sieve.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
|
550 |
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
|
551 smtpmail : $(infodir)/smtpmail |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
552 $(infodir)/smtpmail: smtpmail.texi $(infodir) |
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
|
553 cd $(srcdir); $(MAKEINFO) smtpmail.texi |
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
|
554 smtpmail.dvi: smtpmail.texi |
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
|
555 $(ENVADD) $(TEXI2DVI) ${srcdir}/smtpmail.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
556 smtpmail.pdf: smtpmail.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
557 $(ENVADD) $(TEXI2PDF) ${srcdir}/smtpmail.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
|
558 |
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
|
559 speedbar : $(infodir)/speedbar |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
560 $(infodir)/speedbar: speedbar.texi $(infodir) |
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
|
561 cd $(srcdir); $(MAKEINFO) speedbar.texi |
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
|
562 speedbar.dvi: speedbar.texi |
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
|
563 $(ENVADD) $(TEXI2DVI) ${srcdir}/speedbar.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
564 speedbar.pdf: speedbar.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
565 $(ENVADD) $(TEXI2PDF) ${srcdir}/speedbar.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
|
566 |
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
|
567 tramp : $(infodir)/tramp |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
568 $(infodir)/tramp: tramp.texi trampver.texi $(infodir) |
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
|
569 cd $(srcdir); $(MAKEINFO) -D emacs tramp.texi |
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
|
570 tramp.dvi: tramp.texi trampver.texi |
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
|
571 $(ENVADD) $(TEXI2DVI) ${srcdir}/tramp.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
572 tramp.pdf: tramp.texi trampver.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
573 $(ENVADD) $(TEXI2PDF) ${srcdir}/tramp.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
|
574 |
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
|
575 url : $(infodir)/url |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
576 $(infodir)/url: url.texi $(infodir) |
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
|
577 cd $(srcdir); $(MAKEINFO) url.texi |
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
|
578 url.dvi: url.texi |
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
|
579 $(ENVADD) $(TEXI2DVI) ${srcdir}/url.texi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
580 url.pdf: url.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
581 $(ENVADD) $(TEXI2PDF) ${srcdir}/url.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
|
582 |
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
|
583 vip : $(infodir)/vip |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
584 $(infodir)/vip: vip.texi $(infodir) |
84282 | 585 cd $(srcdir); $(MAKEINFO) vip.texi |
586 vip.dvi: vip.texi | |
587 $(ENVADD) $(TEXI2DVI) ${srcdir}/vip.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
588 vip.pdf: vip.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
589 $(ENVADD) $(TEXI2PDF) ${srcdir}/vip.texi |
84282 | 590 |
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
|
591 viper : $(infodir)/viper |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
592 $(infodir)/viper: viper.texi $(infodir) |
84282 | 593 cd $(srcdir); $(MAKEINFO) viper.texi |
594 viper.dvi: viper.texi | |
595 $(ENVADD) $(TEXI2DVI) ${srcdir}/viper.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
596 viper.pdf: viper.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
597 $(ENVADD) $(TEXI2PDF) ${srcdir}/viper.texi |
84282 | 598 |
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
|
599 widget : $(infodir)/widget |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
600 $(infodir)/widget: widget.texi $(infodir) |
84282 | 601 cd $(srcdir); $(MAKEINFO) widget.texi |
602 widget.dvi: widget.texi | |
603 $(ENVADD) $(TEXI2DVI) ${srcdir}/widget.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
604 widget.pdf: widget.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
605 $(ENVADD) $(TEXI2PDF) ${srcdir}/widget.texi |
84282 | 606 |
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
|
607 woman : $(infodir)/woman |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
608 $(infodir)/woman: woman.texi $(infodir) |
84282 | 609 cd $(srcdir); $(MAKEINFO) woman.texi |
610 woman.dvi: woman.texi | |
611 $(ENVADD) $(TEXI2DVI) ${srcdir}/woman.texi | |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
612 woman.pdf: woman.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
613 $(ENVADD) $(TEXI2PDF) ${srcdir}/woman.texi |
84282 | 614 |
615 | |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
616 .PHONY: mostlyclean clean distclean maintainer-clean |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
617 |
84282 | 618 mostlyclean: |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
619 rm -f *.aux *.log *.cp *.cps *.fn *.fns *.ky *.kys \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
620 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
621 rm -f gnustmp.* |
84282 | 622 |
623 clean: mostlyclean | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
624 rm -f $(DVI_TARGETS) $(PDF_TARGETS) |
84282 | 625 |
626 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
|
627 # rm -f Makefile |
84282 | 628 |
629 maintainer-clean: distclean | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
630 for file in $(INFO_TARGETS); do \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
631 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
|
632 done |
84282 | 633 |
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
|
634 ### Makefile ends here |