annotate man/makefile.w32-in @ 82953:fd8097053f04

* Makefile.in, makefile.w32-in: Added PGG and Sieve files. * emacs-mime.texi, gnus-faq.texi, gnus.texi, message.texi: Import from the v5_10 branch of the Gnus repository. Change setfilename.
author Reiner Steib <Reiner.Steib@gmx.de>
date Mon, 02 Aug 2004 13:38:50 +0000
parents 791c3ae193fc
children bda6c36fa8d4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
55092
9077e3f7cd49 Add "-*- makefile -*-" mode tag.
Juanma Barranquero <lekktu@gmail.com>
parents: 54200
diff changeset
1 #### -*- Makefile -*- for the Emacs Manual and other documentation.
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
2
55841
d10ff2411271 (../info/flymake, flymake.dvi): New targets.
Juanma Barranquero <lekktu@gmail.com>
parents: 55355
diff changeset
3 # Copyright (C) 2003, 2004
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
4 # Free Software Foundation, Inc.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
5
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
6 # This file is part of GNU Emacs.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
7
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
8 # GNU Emacs is free software; you can redistribute it and/or modify
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
9 # it under the terms of the GNU General Public License as published by
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
10 # the Free Software Foundation; either version 2, or (at your option)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
11 # any later version.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
12
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
13 # GNU Emacs is distributed in the hope that it will be useful,
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
16 # GNU General Public License for more details.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
17
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
18 # You should have received a copy of the GNU General Public License
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
19 # along with GNU Emacs; see the file COPYING. If not, write to
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
20 # the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
21 # Boston, MA 02111-1307, USA.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
22
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
23 # Where to find the source code. The source code for Emacs's C kernel is
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
24 # expected to be in $(srcdir)/src, and the source code for Emacs's
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
25 # utility programs is expected to be in $(srcdir)/lib-src. This is
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
26 # set by the configure script's `--srcdir' option.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
27 srcdir=.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
28
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
29 infodir = $(srcdir)/../info
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
30
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
31 # The makeinfo program is part of the Texinfo distribution.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
32 MAKEINFO = makeinfo
55355
4cabc1af8aa2 Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 55333
diff changeset
33 MULTI_INSTALL_INFO = $(srcdir)\..\nt\multi-install-info.bat
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
34 INFO_TARGETS = $(infodir)/emacs $(infodir)/ccmode \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
35 $(infodir)/cl $(infodir)/dired-x \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
36 $(infodir)/ediff $(infodir)/forms \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
37 $(infodir)/gnus $(infodir)/info \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
38 $(infodir)/message $(infodir)/mh-e \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
39 $(infodir)/reftex $(infodir)/sc \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
40 $(infodir)/vip $(infodir)/viper \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
41 $(infodir)/widget $(infodir)/efaq \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
42 $(infodir)/ada-mode $(infodir)/autotype \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
43 $(infodir)/calc $(infodir)/idlwave \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
44 $(infodir)/eudc $(infodir)/ebrowse \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
45 $(infodir)/pcl-cvs $(infodir)/woman \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
46 $(infodir)/emacs-mime $(infodir)/eshell \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
47 $(infodir)/speedbar $(infodir)/tramp \
55841
d10ff2411271 (../info/flymake, flymake.dvi): New targets.
Juanma Barranquero <lekktu@gmail.com>
parents: 55355
diff changeset
48 $(infodir)/ses $(infodir)/smtpmail \
82953
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
49 $(infodir)/flymake $(infodir)/emacs-xtra \
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
50 $(infodir)/pgg $(infodir)/sieve
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
51 DVI_TARGETS = emacs.dvi calc.dvi cc-mode.dvi cl.dvi dired-x.dvi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
52 ediff.dvi forms.dvi gnus.dvi message.dvi mh-e.dvi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
53 reftex.dvi sc.dvi vip.dvi viper.dvi widget.dvi faq.dvi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
54 ada-mode.dvi autotype.dvi idlwave.dvi eudc.dvi ebrowse.dvi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
55 pcl-cvs.dvi woman.dvi emacs-mime.dvi eshell.dvi \
56139
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
56 speedbar.dvi tramp.dvi ses.dvi smtpmail.dvi flymake.dvi \
82953
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
57 emacs-xtra.dvi pgg.dvi sieve.dvi
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
58 INFOSOURCES = info.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
59
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
60 # The following rule does not work with all versions of `make'.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
61 .SUFFIXES: .texi .dvi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
62 .texi.dvi:
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
63 texi2dvi $<
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
64
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
65 TEXI2DVI = texi2dvi
55355
4cabc1af8aa2 Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 55333
diff changeset
66 ENVADD = $(srcdir)\..\nt\envadd.bat "TEXINPUTS=$(srcdir);$(TEXINPUTS)" \
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
67 "MAKEINFO=$(MAKEINFO) -I$(srcdir)" /C
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
68
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
69 EMACSSOURCES= \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
70 $(srcdir)/emacs.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
71 $(srcdir)/doclicense.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
72 $(srcdir)/screen.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
73 $(srcdir)/commands.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
74 $(srcdir)/entering.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
75 $(srcdir)/basic.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
76 $(srcdir)/mini.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
77 $(srcdir)/m-x.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
78 $(srcdir)/help.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
79 $(srcdir)/mark.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
80 $(srcdir)/killing.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
81 $(srcdir)/regs.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
82 $(srcdir)/display.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
83 $(srcdir)/search.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
84 $(srcdir)/fixit.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
85 $(srcdir)/files.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
86 $(srcdir)/buffers.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
87 $(srcdir)/windows.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
88 $(srcdir)/frames.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
89 $(srcdir)/mule.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
90 $(srcdir)/major.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
91 $(srcdir)/indent.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
92 $(srcdir)/text.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
93 $(srcdir)/programs.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
94 $(srcdir)/building.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
95 $(srcdir)/maintaining.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
96 $(srcdir)/abbrevs.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
97 $(srcdir)/picture.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
98 $(srcdir)/sending.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
99 $(srcdir)/rmail.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
100 $(srcdir)/dired.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
101 $(srcdir)/calendar.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
102 $(srcdir)/misc.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
103 $(srcdir)/custom.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
104 $(srcdir)/trouble.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
105 $(srcdir)/cmdargs.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
106 $(srcdir)/xresources.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
107 $(srcdir)/anti.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
108 $(srcdir)/macos.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
109 $(srcdir)/msdog.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
110 $(srcdir)/gnu.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
111 $(srcdir)/glossary.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
112 $(srcdir)/ack.texi \
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
113 $(srcdir)/kmacro.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
114
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
115 info: $(INFO_TARGETS)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
116 $(MULTI_INSTALL_INFO) --info-dir=$(infodir) $(INFO_TARGETS)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
117
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
118 dvi: $(DVI_TARGETS)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
119
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
120 # Note that all the Info targets build the Info files
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
121 # in srcdir. There is no provision for Info files
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
122 # to exist in the build directory.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
123 # In a distribution of Emacs, the Info files should be up to date.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
124
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
125 # The following target uses an explicit -o switch to work around
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
126 # the @setfilename directive in info.texi, which is required for
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
127 # the Texinfo distribution.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
128
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
129 $(infodir)/info: $(INFOSOURCES)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
130 $(MAKEINFO) --no-split info.texi -o $@
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
131
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
132 info.dvi: $(INFOSOURCES)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
133 $(ENVADD) $(TEXI2DVI) $(srcdir)/info.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
134
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
135 $(infodir)/emacs: $(EMACSSOURCES)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
136 $(MAKEINFO) emacs.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
137
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
138 emacs.dvi: $(EMACSSOURCES)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
139 $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
140
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
141 # This target is here so you could easily get the list of the *.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
142 # files which belong to the Emacs manual (as opposed to the separate
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
143 # manuals for CL, CC Mode, Ebrowse, etc.). With this target, you can
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
144 # say things like "grep foo `make emacsman`".
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
145 emacsman:
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
146 @echo $(EMACSSOURCES)
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
147
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
148 $(infodir)/ccmode: cc-mode.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
149 $(MAKEINFO) cc-mode.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
150 cc-mode.dvi: cc-mode.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
151 $(ENVADD) $(TEXI2DVI) $(srcdir)/cc-mode.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
152
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
153 $(infodir)/ada-mode: ada-mode.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
154 $(MAKEINFO) ada-mode.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
155 ada-mode.dvi: ada-mode.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
156 $(ENVADD) $(TEXI2DVI) $(srcdir)/ada-mode.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
157
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
158 $(infodir)/pcl-cvs: pcl-cvs.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
159 $(MAKEINFO) pcl-cvs.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
160 pcl-cvs.dvi: pcl-cvs.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
161 $(ENVADD) $(TEXI2DVI) $(srcdir)/pcl-cvs.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
162
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
163 $(infodir)/eshell: eshell.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
164 $(MAKEINFO) eshell.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
165 eshell.dvi: eshell.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
166 $(ENVADD) $(TEXI2DVI) $(srcdir)/eshell.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
167
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
168 $(infodir)/cl: cl.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
169 $(MAKEINFO) cl.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
170 cl.dvi: cl.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
171 $(ENVADD) $(TEXI2DVI) $(srcdir)/cl.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
172
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
173 $(infodir)/dired-x: dired-x.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
174 $(MAKEINFO) dired-x.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
175 dired-x.dvi: dired-x.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
176 $(ENVADD) $(TEXI2DVI) $(srcdir)/dired-x.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
177
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
178 $(infodir)/ediff: ediff.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
179 $(MAKEINFO) ediff.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
180 ediff.dvi: ediff.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
181 $(ENVADD) $(TEXI2DVI) $(srcdir)/ediff.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
182
55841
d10ff2411271 (../info/flymake, flymake.dvi): New targets.
Juanma Barranquero <lekktu@gmail.com>
parents: 55355
diff changeset
183 $(infodir)/flymake: flymake.texi
d10ff2411271 (../info/flymake, flymake.dvi): New targets.
Juanma Barranquero <lekktu@gmail.com>
parents: 55355
diff changeset
184 $(MAKEINFO) flymake.texi
d10ff2411271 (../info/flymake, flymake.dvi): New targets.
Juanma Barranquero <lekktu@gmail.com>
parents: 55355
diff changeset
185 flymake.dvi: flymake.texi
d10ff2411271 (../info/flymake, flymake.dvi): New targets.
Juanma Barranquero <lekktu@gmail.com>
parents: 55355
diff changeset
186 $(ENVADD) $(TEXI2DVI) $(srcdir)/flymake.texi
d10ff2411271 (../info/flymake, flymake.dvi): New targets.
Juanma Barranquero <lekktu@gmail.com>
parents: 55355
diff changeset
187
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
188 $(infodir)/forms: forms.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
189 $(MAKEINFO) forms.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
190 forms.dvi: forms.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
191 $(ENVADD) $(TEXI2DVI) $(srcdir)/forms.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
192
82953
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
193 # gnus/message/emacs-mime/sieve/pgg are part of Gnus:
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
194 $(infodir)/gnus: gnus.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
195 $(MAKEINFO) gnus.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
196 gnus.dvi: gnus.texi
55841
d10ff2411271 (../info/flymake, flymake.dvi): New targets.
Juanma Barranquero <lekktu@gmail.com>
parents: 55355
diff changeset
197 sed -e '/@iflatex/,/@end iflatex/d' $(srcdir)/gnus.texi > gnustmp.texi
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
198 $(ENVADD) $(TEXI2DVI) gnustmp.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
199 cp gnustmp.dvi $*.dvi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
200 rm gnustmp.*
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
201 $(infodir)/message: message.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
202 $(MAKEINFO) message.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
203 message.dvi: message.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
204 $(ENVADD) $(TEXI2DVI) $(srcdir)/message.texi
82953
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
205 $(infodir)/emacs-mime: emacs-mime.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
206 $(MAKEINFO) emacs-mime.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
207 emacs-mime.dvi: emacs-mime.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
208 $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs-mime.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
209 ../info/sieve: sieve.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
210 cd $(srcdir); $(MAKEINFO) sieve.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
211 sieve.dvi: sieve.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
212 $(ENVADD) $(TEXI2DVI) ${srcdir}/sieve.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
213 ../info/pgg: pgg.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
214 cd $(srcdir); $(MAKEINFO) pgg.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
215 pgg.dvi: pgg.texi
fd8097053f04 * Makefile.in, makefile.w32-in: Added PGG and Sieve files.
Reiner Steib <Reiner.Steib@gmx.de>
parents: 56301
diff changeset
216 $(ENVADD) $(TEXI2DVI) ${srcdir}/pgg.texi
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
217
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
218 $(infodir)/mh-e: mh-e.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
219 $(MAKEINFO) mh-e.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
220 mh-e.dvi: mh-e.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
221 $(ENVADD) $(TEXI2DVI) $(srcdir)/mh-e.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
222
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
223 $(infodir)/reftex: reftex.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
224 $(MAKEINFO) reftex.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
225 reftex.dvi: reftex.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
226 $(ENVADD) $(TEXI2DVI) $(srcdir)/reftex.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
227
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
228 $(infodir)/sc: sc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
229 $(MAKEINFO) sc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
230 sc.dvi: sc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
231 $(ENVADD) $(TEXI2DVI) $(srcdir)/sc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
232
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
233 $(infodir)/vip: vip.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
234 $(MAKEINFO) vip.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
235 vip.dvi: vip.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
236 $(ENVADD) $(TEXI2DVI) $(srcdir)/vip.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
237
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
238 $(infodir)/viper: viper.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
239 $(MAKEINFO) viper.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
240 viper.dvi: viper.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
241 $(ENVADD) $(TEXI2DVI) $(srcdir)/viper.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
242
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
243 $(infodir)/widget: widget.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
244 $(MAKEINFO) widget.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
245 widget.dvi: widget.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
246 $(ENVADD) $(TEXI2DVI) $(srcdir)/widget.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
247
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
248 $(infodir)/efaq: faq.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
249 $(MAKEINFO) faq.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
250 faq.dvi: faq.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
251 $(ENVADD) $(TEXI2DVI) $(srcdir)/faq.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
252
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
253 ../etc/GNU: gnu1.texi gnu.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
254 $(MAKEINFO) --no-headers -o ../etc/GNU gnu1.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
255
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
256 $(infodir)/autotype: autotype.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
257 $(MAKEINFO) autotype.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
258 autotype.dvi: autotype.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
259 $(ENVADD) $(TEXI2DVI) $(srcdir)/autotype.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
260
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
261 $(infodir)/calc: calc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
262 $(MAKEINFO) calc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
263
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
264 calc.dvi: calc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
265 $(ENVADD) $(TEXI2DVI) $(srcdir)/calc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
266
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
267 # This is produced with --no-split to avoid making files whose
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
268 # names clash on DOS 8+3 filesystems
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
269 $(infodir)/idlwave: idlwave.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
270 $(MAKEINFO) --no-split idlwave.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
271 idlwave.dvi: idlwave.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
272 $(ENVADD) $(TEXI2DVI) $(srcdir)/idlwave.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
273
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
274 $(infodir)/eudc: eudc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
275 $(MAKEINFO) eudc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
276 eudc.dvi: eudc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
277 $(ENVADD) $(TEXI2DVI) $(srcdir)/eudc.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
278
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
279 $(infodir)/ebrowse: ebrowse.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
280 $(MAKEINFO) ebrowse.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
281 ebrowse.dvi: ebrowse.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
282 $(ENVADD) $(TEXI2DVI) $(srcdir)/ebrowse.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
283
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
284 $(infodir)/woman: woman.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
285 $(MAKEINFO) woman.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
286 woman.dvi: woman.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
287 $(ENVADD) $(TEXI2DVI) $(srcdir)/woman.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
288
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
289 $(infodir)/speedbar: speedbar.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
290 $(MAKEINFO) speedbar.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
291 speedbar.dvi: speedbar.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
292 $(ENVADD) $(TEXI2DVI) $(srcdir)/speedbar.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
293
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
294 $(infodir)/tramp: tramp.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
295 $(MAKEINFO) tramp.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
296 tramp.dvi: tramp.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
297 $(ENVADD) $(TEXI2DVI) $(srcdir)/tramp.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
298
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
299 $(infodir)/ses: ses.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
300 $(MAKEINFO) ses.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
301 ses.dvi: ses.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
302 $(ENVADD) $(TEXI2DVI) $(srcdir)/ses.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
303
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
304 $(infodir)/smtpmail: smtpmail.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
305 $(MAKEINFO) smtpmail.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
306 smtpmail.dvi: smtpmail.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
307 $(ENVADD) $(TEXI2DVI) $(srcdir)/smtpmail.texi
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
308
56139
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
309 $(infodir)/emacs-xtra: emacs-xtra.texi
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
310 $(MAKEINFO) emacs-xtra.texi
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
311
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
312 emacs-xtra.dvi: emacs-xtra.texi
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
313 $(ENVADD) $(TEXI2DVI) $(srcdir)/emacs-xtra.texi
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
314
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
315 mostlyclean:
54200
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
316 - $(DEL) *.log *.cp *.fn *.ky *.pg *.vr core *.tp *.core gnustmp.*
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
317
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
318 clean: mostlyclean
54200
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
319 - $(DEL) *.dvi
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
320 - $(DEL) $(infodir)/emacs* $(infodir)/ccmode* \
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
321 $(infodir)/cl* $(infodir)/dired-x* \
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
322 $(infodir)/ediff* $(infodir)/forms* \
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
323 $(infodir)/gnus* $(infodir)/info* \
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
324 $(infodir)/message* $(infodir)/mh-e* \
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
325 $(infodir)/reftex* $(infodir)/sc* \
56139
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
326 $(infodir)/vip* $(infodir)/widget* \
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
327 $(infodir)/efaq* $(infodir)/ada-mode* \
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
328 $(infodir)/autotype* $(infodir)/calc* \
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
329 $(infodir)/idlwave* $(infodir)/eudc* \
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
330 $(infodir)/ebrowse* $(infodir)/pcl-cvs* \
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
331 $(infodir)/woman* $(infodir)/eshell* \
54200
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
332 $(infodir)/speedbar* $(infodir)/tramp* \
56139
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
333 $(infodir)/ses* $(infodir)/smtpmail* \
63b214383e98 (INFO_TARGETS, DVI_TARGETS, EMACSSOURCES): Add emacs-xtra.
Juanma Barranquero <lekktu@gmail.com>
parents: 56026
diff changeset
334 $(infodir)/flymake*
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
335
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
336 distclean: clean
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
337
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
338 maintainer-clean: distclean
54200
b0293635c42b * man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
Juanma Barranquero <lekktu@gmail.com>
parents: 52428
diff changeset
339 - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
340 # Don't delete these, because they are outside the current directory.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
341 # for file in $(INFO_TARGETS); do rm -f $${file}*; done
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
342
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
343
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
344 # Formerly this directory had texindex.c and getopt.c in it
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
345 # and this makefile built them to make texindex.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
346 # That caused trouble because this is run entirely in the source directory.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
347 # Since we expect to get texi2dvi from elsewhere,
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
348 # it is ok to expect texindex from elsewhere also.