Mercurial > emacs
annotate doc/misc/Makefile.in @ 93165:c4dc2a72d555
(vc-status-mark-buffer-changed): Add an optional file parameter.
(vc-resynch-buffer): Use it.
(vc-delete-file): Expand the file name before using it. Be
careful to not create a new buffer with the old file contents.
Update the VC state after performing the operation.
author | Dan Nicolaescu <dann@ics.uci.edu> |
---|---|
date | Sun, 23 Mar 2008 21:05:32 +0000 |
parents | f9692dfe86e7 |
children | fbe58782bc21 |
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, | |
87903 | 4 # 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc. |
84282 | 5 |
6 # This file is part of GNU Emacs. | |
7 | |
8 # GNU Emacs is free software; you can redistribute it and/or modify | |
9 # it under the terms of the GNU General Public License as published by | |
10 # the Free Software Foundation; either version 3, or (at your option) | |
11 # any later version. | |
12 | |
13 # GNU Emacs is distributed in the hope that it will be useful, | |
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 # GNU General Public License for more details. | |
17 | |
18 # You should have received a copy of the GNU General Public License | |
19 # along with GNU Emacs; see the file COPYING. If not, write to | |
20 # the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, | |
21 # Boston, MA 02110-1301, USA. | |
22 | |
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 top_srcdir=@top_srcdir@ | |
29 | |
30 # Tell make where to find source files; this is needed for the makefiles. | |
31 VPATH=@srcdir@ | |
32 | |
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
|
33 ## 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
|
34 ## 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
|
35 infodir=../../info |
84282 | 36 |
37 # The makeinfo program is part of the Texinfo distribution. | |
38 # Use --force so that it generates output even if there are errors. | |
39 MAKEINFO = makeinfo --force | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
40 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
41 INFO_TARGETS = \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
42 $(infodir)/ada-mode \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
43 $(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
|
44 $(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
|
45 $(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
|
46 $(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
|
47 $(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
|
48 $(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
|
49 $(infodir)/ebrowse \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
50 $(infodir)/ediff \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
51 $(infodir)/emacs-mime \ |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
52 $(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
|
53 $(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
|
54 $(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
|
55 $(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
|
56 $(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
|
57 $(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
|
58 $(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
|
59 $(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
|
60 $(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
|
61 $(infodir)/info \ |
e1fe573e52c0
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)/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
|
63 $(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
|
64 $(infodir)/newsticker \ |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
65 $(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
|
66 $(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
|
67 $(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
|
68 $(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
|
69 $(infodir)/rcirc \ |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
70 $(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
|
71 $(infodir)/reftex \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
72 $(infodir)/sc \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
73 $(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
|
74 $(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
|
75 $(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
|
76 $(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
|
77 $(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
|
78 $(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
|
79 $(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
|
80 $(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
|
81 $(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
|
82 $(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
|
83 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
84 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
|
85 ada-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
|
86 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
|
87 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
|
88 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
|
89 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
|
90 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
|
91 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
|
92 ebrowse.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
|
93 ediff.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
|
94 emacs-mime.dvi \ |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
95 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
|
96 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
|
97 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
|
98 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
|
99 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
|
100 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
|
101 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
|
102 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
|
103 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
|
104 info.dvi \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
105 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
|
106 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
|
107 newsticker.dvi \ |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
108 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
|
109 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
|
110 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
|
111 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
|
112 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
|
113 reftex.dvi \ |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
114 remember.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
|
115 sc.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 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
|
117 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
|
118 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
|
119 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
|
120 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
|
121 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
|
122 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
|
123 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
|
124 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
|
125 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
|
126 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
127 |
e1fe573e52c0
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 TEXI2DVI = texi2dvi |
84282 | 129 |
130 # The following rule does not work with all versions of `make'. | |
131 .SUFFIXES: .texi .dvi | |
132 .texi.dvi: | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
133 $(TEXI2DVI) $< |
84282 | 134 |
135 ENVADD = TEXINPUTS="$(srcdir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)" | |
136 | |
137 | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
138 info: $(infodir) $(INFO_TARGETS) |
84282 | 139 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
140 $(infodir): |
84282 | 141 mkdir $@ |
142 | |
143 dvi: $(DVI_TARGETS) | |
144 | |
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
|
145 |
84282 | 146 # Note that all the Info targets build the Info files |
147 # in srcdir. There is no provision for Info files | |
148 # to exist in the build directory. | |
149 # In a distribution of Emacs, the Info files should be up to date. | |
150 | |
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
|
151 ## "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
|
152 ada-mode : $(infodir)/ada-mode |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
153 $(infodir)/ada-mode: ada-mode.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
154 cd $(srcdir); $(MAKEINFO) ada-mode.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
155 ada-mode.dvi: ada-mode.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
156 $(ENVADD) $(TEXI2DVI) ${srcdir}/ada-mode.texi |
84282 | 157 |
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
|
158 autotype : $(infodir)/autotype |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
159 $(infodir)/autotype: autotype.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
160 cd $(srcdir); $(MAKEINFO) autotype.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
161 autotype.dvi: autotype.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
162 $(ENVADD) $(TEXI2DVI) ${srcdir}/autotype.texi |
84282 | 163 |
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
|
164 calc : $(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
|
165 $(infodir)/calc: calc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
166 cd $(srcdir); $(MAKEINFO) calc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
167 calc.dvi: calc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
168 $(ENVADD) $(TEXI2DVI) ${srcdir}/calc.texi |
84282 | 169 |
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
|
170 ccmode : $(infodir)/ccmode |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
171 $(infodir)/ccmode: cc-mode.texi |
84282 | 172 cd $(srcdir); $(MAKEINFO) cc-mode.texi |
173 cc-mode.dvi: cc-mode.texi | |
174 $(ENVADD) $(TEXI2DVI) ${srcdir}/cc-mode.texi | |
175 | |
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
|
176 cl : $(infodir)/cl |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
177 $(infodir)/cl: cl.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
178 cd $(srcdir); $(MAKEINFO) cl.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
179 cl.dvi: cl.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
180 $(ENVADD) $(TEXI2DVI) ${srcdir}/cl.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
181 |
86943
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
182 dbus : $(infodir)/dbus |
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
183 $(infodir)/dbus: dbus.texi |
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
184 cd $(srcdir); $(MAKEINFO) dbus.texi |
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
185 dbus.dvi: dbus.texi |
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
186 $(ENVADD) $(TEXI2DVI) ${srcdir}/dbus.texi |
791f39a2f656
* Makefile.in (INFO_TARGETS): Add dbus.
Michael Albinus <michael.albinus@gmx.de>
parents:
86378
diff
changeset
|
187 |
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
|
188 dired-x : $(infodir)/dired-x |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
189 $(infodir)/dired-x: dired-x.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
190 cd $(srcdir); $(MAKEINFO) dired-x.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
191 dired-x.dvi: dired-x.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
192 $(ENVADD) $(TEXI2DVI) ${srcdir}/dired-x.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
193 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
194 ebrowse : $(infodir)/ebrowse |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
195 $(infodir)/ebrowse: ebrowse.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
196 cd $(srcdir); $(MAKEINFO) ebrowse.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
197 ebrowse.dvi: ebrowse.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
198 $(ENVADD) $(TEXI2DVI) ${srcdir}/ebrowse.texi |
84282 | 199 |
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
|
200 ediff : $(infodir)/ediff |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
201 $(infodir)/ediff: ediff.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
202 cd $(srcdir); $(MAKEINFO) ediff.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
203 ediff.dvi: ediff.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
204 $(ENVADD) $(TEXI2DVI) ${srcdir}/ediff.texi |
84282 | 205 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
206 emacs-mime : $(infodir)/emacs-mime |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
207 $(infodir)/emacs-mime: emacs-mime.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
208 cd $(srcdir); $(MAKEINFO) --enable-encoding emacs-mime.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
209 emacs-mime.dvi: emacs-mime.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
210 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs-mime.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
211 |
91647
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
212 epa : $(infodir)/epa |
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
213 $(infodir)/epa: epa.texi |
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
214 cd $(srcdir); $(MAKEINFO) epa.texi |
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
215 epa.dvi: epa.texi |
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
216 $(ENVADD) $(TEXI2DVI) ${srcdir}/epa.texi |
f9692dfe86e7
EasyPG: Initial check-in.
Michael Olson <mwolson@gnu.org>
parents:
87903
diff
changeset
|
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 erc : $(infodir)/erc |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
219 $(infodir)/erc: erc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
220 cd $(srcdir); $(MAKEINFO) erc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
221 erc.dvi: erc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
222 $(ENVADD) $(TEXI2DVI) ${srcdir}/erc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
223 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
224 eshell : $(infodir)/eshell |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
225 $(infodir)/eshell: eshell.texi |
84282 | 226 cd $(srcdir); $(MAKEINFO) eshell.texi |
227 eshell.dvi: eshell.texi | |
228 $(ENVADD) $(TEXI2DVI) ${srcdir}/eshell.texi | |
229 | |
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
|
230 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
|
231 $(infodir)/eudc: eudc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
232 cd $(srcdir); $(MAKEINFO) eudc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
233 eudc.dvi: eudc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
234 $(ENVADD) $(TEXI2DVI) ${srcdir}/eudc.texi |
84282 | 235 |
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
|
236 efaq : $(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
|
237 $(infodir)/efaq: faq.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
238 cd $(srcdir); $(MAKEINFO) faq.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
239 faq.dvi: faq.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
240 $(ENVADD) $(TEXI2DVI) ${srcdir}/faq.texi |
84282 | 241 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
242 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
|
243 $(infodir)/flymake: flymake.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
244 cd $(srcdir); $(MAKEINFO) flymake.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
245 flymake.dvi: flymake.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
246 $(ENVADD) $(TEXI2DVI) ${srcdir}/flymake.texi |
84282 | 247 |
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
|
248 forms : $(infodir)/forms |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
249 $(infodir)/forms: forms.texi |
84282 | 250 cd $(srcdir); $(MAKEINFO) forms.texi |
251 forms.dvi: forms.texi | |
252 $(ENVADD) $(TEXI2DVI) ${srcdir}/forms.texi | |
253 | |
254 # 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
|
255 gnus : $(infodir)/gnus |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
256 $(infodir)/gnus: gnus.texi gnus-faq.texi |
84282 | 257 cd $(srcdir); $(MAKEINFO) gnus.texi |
258 gnus.dvi: gnus.texi gnus-faq.texi | |
259 sed -e '/@iflatex/,/@end iflatex/d' ${srcdir}/gnus.texi > gnustmp.texi | |
260 $(ENVADD) $(TEXI2DVI) gnustmp.texi | |
261 cp gnustmp.dvi $*.dvi | |
262 rm gnustmp.* | |
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 # 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
|
265 # 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
|
266 idlwave : $(infodir)/idlwave |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
267 $(infodir)/idlwave: idlwave.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
268 cd $(srcdir); $(MAKEINFO) --no-split idlwave.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
269 idlwave.dvi: idlwave.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
270 $(ENVADD) $(TEXI2DVI) ${srcdir}/idlwave.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
271 |
e1fe573e52c0
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 # 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
|
273 # 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
|
274 # 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
|
275 ###info : $(infodir)/info # circular! |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
276 $(infodir)/info: info.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
277 cd $(srcdir); $(MAKEINFO) --no-split info.texi -o $@ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
278 info.dvi: info.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
279 $(ENVADD) $(TEXI2DVI) ${srcdir}/info.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
280 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
281 message : $(infodir)/message |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
282 $(infodir)/message: message.texi |
84282 | 283 cd $(srcdir); $(MAKEINFO) message.texi |
284 message.dvi: message.texi | |
285 $(ENVADD) $(TEXI2DVI) ${srcdir}/message.texi | |
286 | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
287 mh-e : $(infodir)/mh-e |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
288 $(infodir)/mh-e: mh-e.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
289 cd $(srcdir); $(MAKEINFO) mh-e.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
290 mh-e.dvi: mh-e.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
291 $(ENVADD) $(TEXI2DVI) ${srcdir}/mh-e.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
292 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
293 newsticker : $(infodir)/newsticker |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
294 $(infodir)/newsticker: newsticker.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
295 cd $(srcdir); $(MAKEINFO) newsticker.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
296 newsticker.dvi: newsticker.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
297 $(ENVADD) $(TEXI2DVI) ${srcdir}/newsticker.texi |
84282 | 298 |
86378
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
299 nxml-mode : $(infodir)/nxml-mode |
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
300 $(infodir)/nxml-mode: nxml-mode.texi |
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
301 cd $(srcdir); $(MAKEINFO) nxml-mode.texi |
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
302 nxml-mode.dvi: nxml-mode.texi |
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
303 $(ENVADD) $(TEXI2DVI) ${srcdir}/nxml-mode.texi |
5d15069189ff
Fixups for nxml per Romain Francoise email.
Mark A. Hershberger <mah@everybody.org>
parents:
85792
diff
changeset
|
304 |
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
|
305 org : $(infodir)/org |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
306 $(infodir)/org: org.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
307 cd $(srcdir); $(MAKEINFO) org.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
308 org.dvi: org.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
309 $(ENVADD) $(TEXI2DVI) ${srcdir}/org.texi |
84282 | 310 |
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
|
311 pcl-cvs : $(infodir)/pcl-cvs |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
312 $(infodir)/pcl-cvs: pcl-cvs.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
313 cd $(srcdir); $(MAKEINFO) pcl-cvs.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
314 pcl-cvs.dvi: pcl-cvs.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
315 $(ENVADD) $(TEXI2DVI) ${srcdir}/pcl-cvs.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
316 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
317 pgg : $(infodir)/pgg |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
318 $(infodir)/pgg: pgg.texi |
84282 | 319 cd $(srcdir); $(MAKEINFO) pgg.texi |
320 pgg.dvi: pgg.texi | |
321 $(ENVADD) $(TEXI2DVI) ${srcdir}/pgg.texi | |
322 | |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
323 rcirc : $(infodir)/rcirc |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
324 $(infodir)/rcirc: rcirc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
325 cd $(srcdir); $(MAKEINFO) rcirc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
326 rcirc.dvi: rcirc.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
327 $(ENVADD) $(TEXI2DVI) ${srcdir}/rcirc.texi |
84282 | 328 |
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
|
329 reftex : $(infodir)/reftex |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
330 $(infodir)/reftex: reftex.texi |
84282 | 331 cd $(srcdir); $(MAKEINFO) reftex.texi |
332 reftex.dvi: reftex.texi | |
333 $(ENVADD) $(TEXI2DVI) ${srcdir}/reftex.texi | |
334 | |
85792
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
335 remember : $(infodir)/remember |
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
336 $(infodir)/remember: remember.texi |
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
337 cd $(srcdir); $(MAKEINFO) remember.texi |
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
338 remember.dvi: remember.texi |
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
339 $(ENVADD) $(TEXI2DVI) ${srcdir}/remember.texi |
1c1df1662d58
doc/misc/Makefile.in: Add targets to build Remember Manual
Michael Olson <mwolson@gnu.org>
parents:
84327
diff
changeset
|
340 |
84327
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
341 sc : $(infodir)/sc |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
342 $(infodir)/sc: sc.texi |
84282 | 343 cd $(srcdir); $(MAKEINFO) sc.texi |
344 sc.dvi: sc.texi | |
345 $(ENVADD) $(TEXI2DVI) ${srcdir}/sc.texi | |
346 | |
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
|
347 ses : $(infodir)/ses |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
348 $(infodir)/ses: ses.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
349 cd $(srcdir); $(MAKEINFO) ses.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
350 ses.dvi: ses.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
351 $(ENVADD) $(TEXI2DVI) ${srcdir}/ses.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
352 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
353 sieve : $(infodir)/sieve |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
354 $(infodir)/sieve: sieve.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
355 cd $(srcdir); $(MAKEINFO) sieve.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
356 sieve.dvi: sieve.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
357 $(ENVADD) $(TEXI2DVI) ${srcdir}/sieve.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
358 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
359 smtpmail : $(infodir)/smtpmail |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
360 $(infodir)/smtpmail: smtpmail.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
361 cd $(srcdir); $(MAKEINFO) smtpmail.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
362 smtpmail.dvi: smtpmail.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
363 $(ENVADD) $(TEXI2DVI) ${srcdir}/smtpmail.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
364 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
365 speedbar : $(infodir)/speedbar |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
366 $(infodir)/speedbar: speedbar.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
367 cd $(srcdir); $(MAKEINFO) speedbar.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
368 speedbar.dvi: speedbar.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
369 $(ENVADD) $(TEXI2DVI) ${srcdir}/speedbar.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
370 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
371 tramp : $(infodir)/tramp |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
372 $(infodir)/tramp: tramp.texi trampver.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
373 cd $(srcdir); $(MAKEINFO) -D emacs tramp.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
374 tramp.dvi: tramp.texi trampver.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
375 $(ENVADD) $(TEXI2DVI) ${srcdir}/tramp.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
376 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
377 url : $(infodir)/url |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
378 $(infodir)/url: url.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
379 cd $(srcdir); $(MAKEINFO) url.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
380 url.dvi: url.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
381 $(ENVADD) $(TEXI2DVI) ${srcdir}/url.texi |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
382 |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
383 vip : $(infodir)/vip |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
384 $(infodir)/vip: vip.texi |
84282 | 385 cd $(srcdir); $(MAKEINFO) vip.texi |
386 vip.dvi: vip.texi | |
387 $(ENVADD) $(TEXI2DVI) ${srcdir}/vip.texi | |
388 | |
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
|
389 viper : $(infodir)/viper |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
390 $(infodir)/viper: viper.texi |
84282 | 391 cd $(srcdir); $(MAKEINFO) viper.texi |
392 viper.dvi: viper.texi | |
393 $(ENVADD) $(TEXI2DVI) ${srcdir}/viper.texi | |
394 | |
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
|
395 widget : $(infodir)/widget |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
396 $(infodir)/widget: widget.texi |
84282 | 397 cd $(srcdir); $(MAKEINFO) widget.texi |
398 widget.dvi: widget.texi | |
399 $(ENVADD) $(TEXI2DVI) ${srcdir}/widget.texi | |
400 | |
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
|
401 woman : $(infodir)/woman |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
402 $(infodir)/woman: woman.texi |
84282 | 403 cd $(srcdir); $(MAKEINFO) woman.texi |
404 woman.dvi: woman.texi | |
405 $(ENVADD) $(TEXI2DVI) ${srcdir}/woman.texi | |
406 | |
407 | |
408 mostlyclean: | |
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 rm -f *.log *.cp *.fn *.ky *.op *.ops *.pg *.vr core *.tp \ |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
410 *.tps *.core gnustmp.* |
e1fe573e52c0
Move the parts of the old man/Makefile.in that do not refer to the
Glenn Morris <rgm@gnu.org>
parents:
84282
diff
changeset
|
411 rm -f *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc |
84282 | 412 |
413 clean: mostlyclean | |
414 rm -f *.dvi | |
415 | |
416 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
|
417 # rm -f Makefile |
84282 | 418 |
419 maintainer-clean: distclean | |
420 for file in $(INFO_TARGETS); do rm -f $${file}*; done | |
421 | |
422 | |
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
|
423 ### Makefile ends here |