Mercurial > emacs
annotate doc/misc/Makefile.in @ 111450:eb9988805a37
Merge changes made in Gnus trunk.
message.el (message-mailto): New function.
message.el (message-mailto): Should accept other parameters.
message.el (message-mailto): Remove since it duplicates browse-url-mailto functionality.
shr.el (shr-browse-url): Call browse-url-mailto for mailto: links.
message.el (message-subject-trailing-was-ask-regexp): A ] in a [] regexp doesn't need quoting.
gnus-art.el (article-treat-non-ascii): New command and keystroke.
shr.el (browse-url-mailto): Autoload.
gnus.texi (Article Washing): Document gnus-article-treat-non-ascii.
author | Katsumi Yamaoka <yamaoka@jpl.org> |
---|---|
date | Tue, 09 Nov 2010 22:17:36 +0000 |
parents | 5d7d30110595 |
children | c5917804ecad |
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. | |
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. | |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
45 MAKEINFO = makeinfo --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
|
46 |
102390 | 47 # 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
|
48 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
|
49 $(infodir)/ada-mode \ |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
50 $(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
|
51 $(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
|
52 $(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
|
53 $(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
|
54 $(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
|
55 $(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
|
56 $(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
|
57 $(infodir)/ebrowse \ |
105494 | 58 $(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
|
59 $(infodir)/ediff \ |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
60 $(infodir)/edt \ |
105494 | 61 $(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
|
62 $(infodir)/emacs-mime \ |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
63 $(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
|
64 $(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
|
65 $(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
|
66 $(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
|
67 $(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
|
68 $(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
|
69 $(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
|
70 $(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
|
71 $(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
|
72 $(infodir)/info \ |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
73 $(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
|
74 $(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
|
75 $(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
|
76 $(infodir)/newsticker \ |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
77 $(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
|
78 $(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
|
79 $(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
|
80 $(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
|
81 $(infodir)/rcirc \ |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
82 $(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
|
83 $(infodir)/reftex \ |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
84 $(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
|
85 $(infodir)/sc \ |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
86 $(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
|
87 $(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
|
88 $(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
|
89 $(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
|
90 $(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
|
91 $(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
|
92 $(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
|
93 $(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
|
94 $(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
|
95 $(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
|
96 $(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
|
97 |
e1fe573e52c0
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 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
|
99 ada-mode.dvi \ |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
100 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
|
101 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
|
102 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
|
103 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
|
104 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
|
105 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
|
106 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
|
107 ebrowse.dvi \ |
105494 | 108 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
|
109 ediff.dvi \ |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
110 edt.dvi \ |
105494 | 111 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
|
112 emacs-mime.dvi \ |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
113 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
|
114 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
|
115 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
|
116 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
|
117 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
|
118 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
|
119 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
|
120 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
|
121 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
|
122 info.dvi \ |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
123 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
|
124 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
|
125 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
|
126 newsticker.dvi \ |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
127 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
|
128 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
|
129 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
|
130 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
|
131 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
|
132 reftex.dvi \ |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
133 remember.dvi \ |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
134 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
|
135 sc.dvi \ |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
136 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
|
137 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
|
138 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
|
139 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
|
140 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
|
141 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
|
142 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
|
143 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
|
144 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
|
145 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
|
146 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
|
147 |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
148 PDF_TARGETS = \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
149 ada-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
150 auth.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
151 autotype.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
152 calc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
153 cc-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
154 cl.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
155 dbus.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
156 dired-x.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
157 ebrowse.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
158 ede.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
159 ediff.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
160 edt.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
161 eieio.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
162 emacs-mime.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
163 epa.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
164 erc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
165 eshell.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
166 eudc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
167 faq.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
168 flymake.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
169 forms.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
170 gnus.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
171 idlwave.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
172 info.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
173 mairix-el.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
174 message.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
175 mh-e.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
176 newsticker.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
177 nxml-mode.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
178 org.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
179 pcl-cvs.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
180 pgg.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
181 rcirc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
182 reftex.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
183 remember.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
184 sasl.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
185 sc.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
186 semantic.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
187 ses.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
188 sieve.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
189 smtpmail.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
190 speedbar.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
191 tramp.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
192 url.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
193 vip.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
194 viper.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
195 widget.pdf \ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
196 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
|
197 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
198 TEXI2DVI = texi2dvi |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
199 TEXI2PDF = texi2pdf |
84282 | 200 |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
201 ENVADD = TEXINPUTS="$(srcdir):$(emacsdir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)" |
84282 | 202 |
110886
001fbc0986c9
Fix previous doc/*/Makefile.in change.
Glenn Morris <rgm@gnu.org>
parents:
110883
diff
changeset
|
203 mkinfodir = @cd ${srcdir}; test -d ${infodir} || mkdir ${infodir} || test -d ${infodir} |
84282 | 204 |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
205 .PHONY: info dvi pdf |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
206 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
207 info: $(INFO_TARGETS) |
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 |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
220 $(infodir)/ada-mode: ada-mode.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
221 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
222 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
223 ada-mode.dvi: ${srcdir}/ada-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
224 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
225 ada-mode.pdf: ${srcdir}/ada-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
226 $(ENVADD) $(TEXI2PDF) $< |
84282 | 227 |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
228 auth : $(infodir)/auth |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
229 $(infodir)/auth: auth.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
230 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
231 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
232 auth.dvi: ${srcdir}/auth.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
233 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
234 auth.pdf: ${srcdir}/auth.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
235 $(ENVADD) $(TEXI2PDF) $< |
102370
2c2214eb4f14
(INFO_TARGETS, DVI_TARGETS): Add auth.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
236 |
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 autotype : $(infodir)/autotype |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
238 $(infodir)/autotype: autotype.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
239 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
240 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
241 autotype.dvi: ${srcdir}/autotype.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
242 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
243 autotype.pdf: ${srcdir}/autotype.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
244 $(ENVADD) $(TEXI2PDF) $< |
84282 | 245 |
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
|
246 calc : $(infodir)/calc |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
247 $(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
|
248 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
249 cd $(srcdir); $(MAKEINFO) $< |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
250 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
|
251 $(ENVADD) $(TEXI2DVI) $< |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
252 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
|
253 $(ENVADD) $(TEXI2PDF) $< |
84282 | 254 |
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
|
255 ccmode : $(infodir)/ccmode |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
256 $(infodir)/ccmode: cc-mode.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
257 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
258 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
259 cc-mode.dvi: ${srcdir}/cc-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
260 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
261 cc-mode.pdf: ${srcdir}/cc-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
262 $(ENVADD) $(TEXI2PDF) $< |
84282 | 263 |
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
|
264 cl : $(infodir)/cl |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
265 $(infodir)/cl: cl.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
266 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
267 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
268 cl.dvi: ${srcdir}/cl.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
269 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
270 cl.pdf: ${srcdir}/cl.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
271 $(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
|
272 |
86943
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
273 dbus : $(infodir)/dbus |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
274 $(infodir)/dbus: dbus.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
275 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
276 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
277 dbus.dvi: ${srcdir}/dbus.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
278 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
279 dbus.pdf: ${srcdir}/dbus.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
280 $(ENVADD) $(TEXI2PDF) $< |
86943
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
281 |
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 dired-x : $(infodir)/dired-x |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
283 $(infodir)/dired-x: dired-x.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
284 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
285 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
286 dired-x.dvi: ${srcdir}/dired-x.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
287 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
288 dired-x.pdf: ${srcdir}/dired-x.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
289 $(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
|
290 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
291 ebrowse : $(infodir)/ebrowse |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
292 $(infodir)/ebrowse: ebrowse.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
293 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
294 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
295 ebrowse.dvi: ${srcdir}/ebrowse.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
296 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
297 ebrowse.pdf: ${srcdir}/ebrowse.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
298 $(ENVADD) $(TEXI2PDF) $< |
84282 | 299 |
105494 | 300 ede : $(infodir)/ede |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
301 $(infodir)/ede: ede.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
302 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
303 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
304 ede.dvi: ${srcdir}/ede.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
305 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
306 ede.pdf: ${srcdir}/ede.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
307 $(ENVADD) $(TEXI2PDF) $< |
105494 | 308 |
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
|
309 ediff : $(infodir)/ediff |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
310 $(infodir)/ediff: ediff.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
311 $(mkinfodir) |
110897
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
312 cd $(srcdir); $(MAKEINFO) $< |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
313 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
|
314 $(ENVADD) $(TEXI2DVI) $< |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
315 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
|
316 $(ENVADD) $(TEXI2PDF) $< |
106584
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
317 |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
318 edt : $(infodir)/edt |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
319 $(infodir)/edt: edt.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
320 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
321 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
322 edt.dvi: ${srcdir}/edt.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
323 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
324 edt.pdf: ${srcdir}/edt.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
325 $(ENVADD) $(TEXI2PDF) $< |
84282 | 326 |
105494 | 327 eieio : $(infodir)/eieio |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
328 $(infodir)/eieio: eieio.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
329 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
330 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
331 eieio.dvi: ${srcdir}/eieio.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
332 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
333 eieio.pdf: ${srcdir}/eieio.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
334 $(ENVADD) $(TEXI2PDF) $< |
105494 | 335 |
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
|
336 emacs-mime : $(infodir)/emacs-mime |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
337 $(infodir)/emacs-mime: emacs-mime.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
338 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
339 cd $(srcdir); $(MAKEINFO) --enable-encoding $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
340 emacs-mime.dvi: ${srcdir}/emacs-mime.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
341 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
342 emacs-mime.pdf: ${srcdir}/emacs-mime.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
343 $(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
|
344 |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
345 epa : $(infodir)/epa |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
346 $(infodir)/epa: epa.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
347 $(mkinfodir) |
110897
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
348 cd $(srcdir); $(MAKEINFO) $< |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
349 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
|
350 $(ENVADD) $(TEXI2DVI) $< |
ddcc974a9f3d
* doc/misc/Makefile.in: Missed a few spots in the earlier $< change.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
351 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
|
352 $(ENVADD) $(TEXI2PDF) $< |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
353 |
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
|
354 erc : $(infodir)/erc |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
355 $(infodir)/erc: erc.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
356 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
357 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
358 erc.dvi: ${srcdir}/erc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
359 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
360 erc.pdf: ${srcdir}/erc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
361 $(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
|
362 |
e1fe573e52c0
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 eshell : $(infodir)/eshell |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
364 $(infodir)/eshell: eshell.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
365 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
366 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
367 eshell.dvi: ${srcdir}/eshell.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
368 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
369 eshell.pdf: ${srcdir}/eshell.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
370 $(ENVADD) $(TEXI2PDF) $< |
84282 | 371 |
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
|
372 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
|
373 $(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
|
374 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
375 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
376 eudc.dvi: ${srcdir}/eudc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
377 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
378 eudc.pdf: ${srcdir}/eudc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
379 $(ENVADD) $(TEXI2PDF) $< |
84282 | 380 |
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
|
381 efaq : $(infodir)/efaq |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
382 $(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
|
383 $(mkinfodir) |
111216
5d7d30110595
doc/Makefile fixes related to inclusion of emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110911
diff
changeset
|
384 cd $(srcdir); $(MAKEINFO) $< |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
385 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
|
386 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
387 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
|
388 $(ENVADD) $(TEXI2PDF) $< |
84282 | 389 |
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
|
390 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
|
391 $(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
|
392 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
393 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
394 flymake.dvi: ${srcdir}/flymake.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
395 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
396 flymake.pdf: ${srcdir}/flymake.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
397 $(ENVADD) $(TEXI2PDF) $< |
84282 | 398 |
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
|
399 forms : $(infodir)/forms |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
400 $(infodir)/forms: forms.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
401 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
402 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
403 forms.dvi: ${srcdir}/forms.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
404 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
405 forms.pdf: ${srcdir}/forms.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
406 $(ENVADD) $(TEXI2PDF) $< |
84282 | 407 |
408 # 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
|
409 gnus : $(infodir)/gnus |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
410 $(infodir)/gnus: gnus.texi gnus-faq.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
411 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
412 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
413 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
|
414 sed -e '/@iflatex/,/@end iflatex/d' $< > gnustmp.texi |
84282 | 415 $(ENVADD) $(TEXI2DVI) gnustmp.texi |
416 cp gnustmp.dvi $*.dvi | |
417 rm gnustmp.* | |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
418 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
|
419 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
|
420 $(ENVADD) $(TEXI2PDF) gnustmp.texi |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
421 cp gnustmp.pdf $@ |
cdeb7eaac6f4
(INFO_TARGETS, DVI_TARGETS): Add edt.
Glenn Morris <rgm@gnu.org>
parents:
106061
diff
changeset
|
422 rm gnustmp.* |
84282 | 423 |
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
|
424 # 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
|
425 # 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
|
426 idlwave : $(infodir)/idlwave |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
427 $(infodir)/idlwave: idlwave.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
428 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
429 cd $(srcdir); $(MAKEINFO) --no-split $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
430 idlwave.dvi: ${srcdir}/idlwave.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
431 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
432 idlwave.pdf: ${srcdir}/idlwave.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
433 $(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
|
434 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
435 # 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
|
436 # 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
|
437 # 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
|
438 ###info : $(infodir)/info # circular! |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
439 $(infodir)/info: info.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
440 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
441 cd $(srcdir); $(MAKEINFO) --no-split $< -o $@ |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
442 info.dvi: ${srcdir}/info.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
443 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
444 info.pdf: ${srcdir}/info.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
445 $(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
|
446 |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
447 mairix-el : $(infodir)/mairix-el |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
448 $(infodir)/mairix-el: mairix-el.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
449 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
450 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
451 mairix-el.dvi: ${srcdir}/mairix-el.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
452 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
453 mairix-el.pdf: ${srcdir}/mairix-el.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
454 $(ENVADD) $(TEXI2PDF) $< |
97102
ac037a911bec
Add mairix-el targets.
Chong Yidong <cyd@stupidchicken.com>
parents:
96808
diff
changeset
|
455 |
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
|
456 message : $(infodir)/message |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
457 $(infodir)/message: message.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
458 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
459 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
460 message.dvi: ${srcdir}/message.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
461 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
462 message.pdf: ${srcdir}/message.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
463 $(ENVADD) $(TEXI2PDF) $< |
84282 | 464 |
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 mh-e : $(infodir)/mh-e |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
466 $(infodir)/mh-e: mh-e.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
467 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
468 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
469 mh-e.dvi: ${srcdir}/mh-e.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
470 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
471 mh-e.pdf: ${srcdir}/mh-e.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
472 $(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
|
473 |
e1fe573e52c0
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 newsticker : $(infodir)/newsticker |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
475 $(infodir)/newsticker: newsticker.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
476 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
477 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
478 newsticker.dvi: ${srcdir}/newsticker.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
479 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
480 newsticker.pdf: ${srcdir}/newsticker.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
481 $(ENVADD) $(TEXI2PDF) $< |
84282 | 482 |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
483 nxml-mode : $(infodir)/nxml-mode |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
484 $(infodir)/nxml-mode: nxml-mode.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
485 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
486 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
487 nxml-mode.dvi: ${srcdir}/nxml-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
488 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
489 nxml-mode.pdf: ${srcdir}/nxml-mode.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
490 $(ENVADD) $(TEXI2PDF) $< |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
491 |
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
|
492 org : $(infodir)/org |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
493 $(infodir)/org: org.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
494 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
495 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
496 org.dvi: ${srcdir}/org.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
497 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
498 org.pdf: ${srcdir}/org.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
499 $(ENVADD) $(TEXI2PDF) $< |
84282 | 500 |
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
|
501 pcl-cvs : $(infodir)/pcl-cvs |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
502 $(infodir)/pcl-cvs: pcl-cvs.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
503 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
504 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
505 pcl-cvs.dvi: ${srcdir}/pcl-cvs.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
506 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
507 pcl-cvs.pdf: ${srcdir}/pcl-cvs.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
508 $(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
|
509 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
510 pgg : $(infodir)/pgg |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
511 $(infodir)/pgg: pgg.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
512 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
513 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
514 pgg.dvi: ${srcdir}/pgg.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
515 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
516 pgg.pdf: ${srcdir}/pgg.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
517 $(ENVADD) $(TEXI2PDF) $< |
84282 | 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 rcirc : $(infodir)/rcirc |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
520 $(infodir)/rcirc: rcirc.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
521 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
522 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
523 rcirc.dvi: ${srcdir}/rcirc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
524 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
525 rcirc.pdf: ${srcdir}/rcirc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
526 $(ENVADD) $(TEXI2PDF) $< |
84282 | 527 |
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
|
528 reftex : $(infodir)/reftex |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
529 $(infodir)/reftex: reftex.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
530 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
531 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
532 reftex.dvi: ${srcdir}/reftex.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
533 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
534 reftex.pdf: ${srcdir}/reftex.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
535 $(ENVADD) $(TEXI2PDF) $< |
84282 | 536 |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
537 remember : $(infodir)/remember |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
538 $(infodir)/remember: remember.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
539 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
540 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
541 remember.dvi: ${srcdir}/remember.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
542 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
543 remember.pdf: ${srcdir}/remember.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
544 $(ENVADD) $(TEXI2PDF) $< |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
545 |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
546 sasl : $(infodir)/sasl |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
547 $(infodir)/sasl: sasl.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
548 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
549 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
550 sasl.dvi: ${srcdir}/sasl.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
551 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
552 sasl.pdf: ${srcdir}/sasl.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
553 $(ENVADD) $(TEXI2PDF) $< |
95928
d5a620178534
(INFO_TARGETS, DVI_TARGETS): Add sasl.
Glenn Morris <rgm@gnu.org>
parents:
95032
diff
changeset
|
554 |
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
|
555 sc : $(infodir)/sc |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
556 $(infodir)/sc: sc.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
557 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
558 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
559 sc.dvi: ${srcdir}/sc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
560 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
561 sc.pdf: ${srcdir}/sc.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
562 $(ENVADD) $(TEXI2PDF) $< |
84282 | 563 |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
564 semantic : $(infodir)/semantic |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
565 $(infodir)/semantic: semantic.texi sem-user.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
566 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
567 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
568 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
|
569 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
570 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
|
571 $(ENVADD) $(TEXI2PDF) $< |
106061
014672c3a25f
* Makefile.in: Build the Semantic manual.
Chong Yidong <cyd@stupidchicken.com>
parents:
105494
diff
changeset
|
572 |
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
|
573 ses : $(infodir)/ses |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
574 $(infodir)/ses: ses.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
575 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
576 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
577 ses.dvi: ${srcdir}/ses.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
578 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
579 ses.pdf: ${srcdir}/ses.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
580 $(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
|
581 |
e1fe573e52c0
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 sieve : $(infodir)/sieve |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
583 $(infodir)/sieve: sieve.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
584 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
585 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
586 sieve.dvi: ${srcdir}/sieve.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
587 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
588 sieve.pdf: ${srcdir}/sieve.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
589 $(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
|
590 |
e1fe573e52c0
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 smtpmail : $(infodir)/smtpmail |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
592 $(infodir)/smtpmail: smtpmail.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
593 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
594 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
595 smtpmail.dvi: ${srcdir}/smtpmail.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
596 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
597 smtpmail.pdf: ${srcdir}/smtpmail.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
598 $(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
|
599 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
600 speedbar : $(infodir)/speedbar |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
601 $(infodir)/speedbar: speedbar.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
602 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
603 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
604 speedbar.dvi: ${srcdir}/speedbar.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
605 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
606 speedbar.pdf: ${srcdir}/speedbar.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
607 $(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
|
608 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
609 tramp : $(infodir)/tramp |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
610 $(infodir)/tramp: tramp.texi trampver.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
611 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
612 cd $(srcdir); $(MAKEINFO) -D emacs $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
613 tramp.dvi: ${srcdir}/tramp.texi trampver.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
614 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
615 tramp.pdf: ${srcdir}/tramp.texi trampver.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
616 $(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
|
617 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
618 url : $(infodir)/url |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
619 $(infodir)/url: url.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
620 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
621 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
622 url.dvi: ${srcdir}/url.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
623 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
624 url.pdf: ${srcdir}/url.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
625 $(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
|
626 |
e1fe573e52c0
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 vip : $(infodir)/vip |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
628 $(infodir)/vip: vip.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
629 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
630 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
631 vip.dvi: ${srcdir}/vip.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
632 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
633 vip.pdf: ${srcdir}/vip.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
634 $(ENVADD) $(TEXI2PDF) $< |
84282 | 635 |
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
|
636 viper : $(infodir)/viper |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
637 $(infodir)/viper: viper.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
638 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
639 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
640 viper.dvi: ${srcdir}/viper.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
641 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
642 viper.pdf: ${srcdir}/viper.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
643 $(ENVADD) $(TEXI2PDF) $< |
84282 | 644 |
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
|
645 widget : $(infodir)/widget |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
646 $(infodir)/widget: widget.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
647 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
648 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
649 widget.dvi: ${srcdir}/widget.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
650 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
651 widget.pdf: ${srcdir}/widget.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
652 $(ENVADD) $(TEXI2PDF) $< |
84282 | 653 |
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
|
654 woman : $(infodir)/woman |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
655 $(infodir)/woman: woman.texi |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110866
diff
changeset
|
656 $(mkinfodir) |
110889
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
657 cd $(srcdir); $(MAKEINFO) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
658 woman.dvi: ${srcdir}/woman.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
659 $(ENVADD) $(TEXI2DVI) $< |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
660 woman.pdf: ${srcdir}/woman.texi |
50d2da482ed7
* doc/misc/Makefile.in: Use $< in rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
661 $(ENVADD) $(TEXI2PDF) $< |
84282 | 662 |
663 | |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
664 .PHONY: mostlyclean clean distclean maintainer-clean |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
665 |
84282 | 666 mostlyclean: |
110890
7bfd20f2292d
* doc/misc/Makefile.in (mostlyclean): Delete *.toc.
Glenn Morris <rgm@gnu.org>
parents:
110889
diff
changeset
|
667 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
|
668 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
669 rm -f gnustmp.* |
84282 | 670 |
671 clean: mostlyclean | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
672 rm -f $(DVI_TARGETS) $(PDF_TARGETS) |
84282 | 673 |
674 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
|
675 # rm -f Makefile |
84282 | 676 |
110883 | 677 ## infodir is relative to srcdir. |
84282 | 678 maintainer-clean: distclean |
110883 | 679 cd $(srcdir); for file in $(INFO_TARGETS); do \ |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
680 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
|
681 done |
84282 | 682 |
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
|
683 ### Makefile ends here |