annotate doc/emacs/Makefile.in @ 112444:4302934369fd

Improve configuration of makeinfo. * Makefile.in (MAKEINFO): Now controlled by `configure'. (MAKEINFO_OPTS): New variable. Use it where appropriate. (ENVADD): Updated.
author Werner Lemberg <wl@gnu.org>
date Sun, 23 Jan 2011 11:34:39 +0100
parents 61f7601898b1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
1 #### Makefile for the Emacs Manual
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 # Copyright (C) 1994, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
112284
61f7601898b1 Refill some copyright headers.
Glenn Morris <rgm@gnu.org>
parents: 112228
diff changeset
4 # 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
61f7601898b1 Refill some copyright headers.
Glenn Morris <rgm@gnu.org>
parents: 112228
diff changeset
5 # Free Software Foundation, Inc.
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 # This file is part of GNU Emacs.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8
95036
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87911
diff changeset
9 # GNU Emacs is free software: you can redistribute it and/or modify
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 # it under the terms of the GNU General Public License as published by
95036
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87911
diff changeset
11 # the Free Software Foundation, either version 3 of the License, or
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87911
diff changeset
12 # (at your option) any later version.
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # GNU Emacs is distributed in the hope that it will be useful,
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 # GNU General Public License for more details.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 # You should have received a copy of the GNU General Public License
95036
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87911
diff changeset
20 # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
76cbdd481eaf Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87911
diff changeset
21
110750
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 110642
diff changeset
22 SHELL = /bin/sh
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
24 # Where to find the source code. $(srcdir) will be the doc/emacs subdirectory
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
25 # of the source tree. This is set by configure's `--srcdir' option.
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 srcdir=@srcdir@
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27
110794
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
28 # Only for make dist.
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
29 version=@version@
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
31 ## Where the output files go.
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
32 ## Note that the setfilename command in the .texi files assumes this.
110861
ca28093784c4 Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents: 110794
diff changeset
33 ## This is a bit funny. Because the info files are in the
ca28093784c4 Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents: 110794
diff changeset
34 ## distribution tarfiles, they are always made in $scrdir/../../info,
110894
39eed86814a2 Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110893
diff changeset
35 ## even for out-of-tree builds.
39eed86814a2 Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110893
diff changeset
36 infodir = $(srcdir)/../../info
103793
68421a518966 (texinfodir): New variable, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
37 # Directory with the (customized) texinfo.tex file.
68421a518966 (texinfodir): New variable, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
38 texinfodir = $(srcdir)/../misc
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 # The makeinfo program is part of the Texinfo distribution.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 # Use --force so that it generates output even if there are errors.
112444
4302934369fd Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents: 112284
diff changeset
42 MAKEINFO = @MAKEINFO@
4302934369fd Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents: 112284
diff changeset
43 MAKEINFO_OPTS = --force -I $(srcdir)
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
44
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
45 TEXI2DVI = texi2dvi
103866
c5a532331ea7 (TEXI2PDF): New.
Glenn Morris <rgm@gnu.org>
parents: 103793
diff changeset
46 TEXI2PDF = texi2pdf
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
47 DVIPS = dvips
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49
112444
4302934369fd Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents: 112284
diff changeset
50 ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" \
4302934369fd Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents: 112284
diff changeset
51 MAKEINFO="$(MAKEINFO) $(MAKEINFO_OPTS)"
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
53
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
54 EMACS_XTRA= \
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
55 ${srcdir}/emacs-xtra.texi \
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 $(srcdir)/arevert-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 $(srcdir)/cal-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 $(srcdir)/dired-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 $(srcdir)/picture-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 $(srcdir)/emerge-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 $(srcdir)/vc-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 $(srcdir)/vc1-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 $(srcdir)/fortran-xtra.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 $(srcdir)/msdog-xtra.texi
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 EMACSSOURCES= \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 ${srcdir}/emacs.texi \
110866
4b97fee97310 Add doc/ dependencies on emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents: 110863
diff changeset
68 ${srcdir}/emacsver.texi \
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 ${srcdir}/doclicense.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 ${srcdir}/gpl.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 ${srcdir}/screen.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 ${srcdir}/commands.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 ${srcdir}/entering.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 ${srcdir}/basic.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 ${srcdir}/mini.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 ${srcdir}/m-x.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 ${srcdir}/help.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 ${srcdir}/mark.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 ${srcdir}/killing.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 ${srcdir}/regs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 ${srcdir}/display.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 ${srcdir}/search.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 ${srcdir}/fixit.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 ${srcdir}/files.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 ${srcdir}/buffers.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 ${srcdir}/windows.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 ${srcdir}/frames.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 ${srcdir}/mule.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 ${srcdir}/major.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 ${srcdir}/indent.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 ${srcdir}/text.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 ${srcdir}/programs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 ${srcdir}/building.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 ${srcdir}/maintaining.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 ${srcdir}/abbrevs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 ${srcdir}/sending.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 ${srcdir}/rmail.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 ${srcdir}/dired.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 ${srcdir}/calendar.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 ${srcdir}/misc.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 ${srcdir}/custom.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 ${srcdir}/trouble.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 ${srcdir}/cmdargs.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 ${srcdir}/xresources.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 ${srcdir}/anti.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 ${srcdir}/macos.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 ${srcdir}/msdog.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 ${srcdir}/gnu.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 ${srcdir}/glossary.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 ${srcdir}/ack.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 ${srcdir}/kmacro.texi \
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112 $(EMACS_XTRA)
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113
110882
b8bcd2311f78 Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110881
diff changeset
114 ## This seems pointless. The info/ directory exists in both the
b8bcd2311f78 Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110881
diff changeset
115 ## repository and the release tarfiles. We do not use any
b8bcd2311f78 Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110881
diff changeset
116 ## equivalent of mkdir -p/mkinstalldirs, so this is not a general
b8bcd2311f78 Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110881
diff changeset
117 ## solution anyway. The second test -d is for parallel builds.
110894
39eed86814a2 Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110893
diff changeset
118 mkinfodir = @test -d ${infodir} || mkdir ${infodir} || test -d ${infodir}
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119
110912
2bfb6bf8a383 Add html targets for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110911
diff changeset
120 .PHONY: info dvi html pdf ps
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121
110750
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 110642
diff changeset
122 info: $(infodir)/emacs
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 110642
diff changeset
123 dvi: emacs.dvi
110912
2bfb6bf8a383 Add html targets for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110911
diff changeset
124 html: emacs.html
110750
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 110642
diff changeset
125 pdf: emacs.pdf
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
126 ps: emacs.ps
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127
110750
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 110642
diff changeset
128 # Note that all the Info targets build the Info files in srcdir.
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 110642
diff changeset
129 # There is no provision for Info files to exist in the build directory.
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130 # In a distribution of Emacs, the Info files should be up to date.
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
132 $(infodir)/emacs: ${EMACSSOURCES}
110882
b8bcd2311f78 Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110881
diff changeset
133 $(mkinfodir)
112444
4302934369fd Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents: 112284
diff changeset
134 $(MAKEINFO) $(MAKEINFO_OPTS) -o $@ $<
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 emacs.dvi: ${EMACSSOURCES}
110887
951b5214e939 Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents: 110886
diff changeset
137 $(ENVADD) $(TEXI2DVI) $<
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
139 emacs.ps: emacs.dvi
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
140 $(DVIPS) -o $@ $<
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141
103866
c5a532331ea7 (TEXI2PDF): New.
Glenn Morris <rgm@gnu.org>
parents: 103793
diff changeset
142 emacs.pdf: ${EMACSSOURCES}
110887
951b5214e939 Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents: 110886
diff changeset
143 $(ENVADD) $(TEXI2PDF) $<
103866
c5a532331ea7 (TEXI2PDF): New.
Glenn Morris <rgm@gnu.org>
parents: 103793
diff changeset
144
110912
2bfb6bf8a383 Add html targets for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110911
diff changeset
145 emacs.html: ${EMACSSOURCES}
112444
4302934369fd Improve configuration of makeinfo.
Werner Lemberg <wl@gnu.org>
parents: 112284
diff changeset
146 $(MAKEINFO) $(MAKEINFO_OPTS) --html -o $@ $<
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
148 emacs-xtra.dvi: $(EMACS_XTRA)
110887
951b5214e939 Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents: 110886
diff changeset
149 $(ENVADD) $(TEXI2DVI) $<
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
151 emacs-xtra.ps: emacs-xtra.dvi
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
152 $(DVIPS) -o $@ $<
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
153
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
154 emacs-xtra.pdf: $(EMACS_XTRA)
110887
951b5214e939 Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents: 110886
diff changeset
155 $(ENVADD) $(TEXI2PDF) $<
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
157 .PHONY: mostlyclean clean distclean maintainer-clean infoclean
103866
c5a532331ea7 (TEXI2PDF): New.
Glenn Morris <rgm@gnu.org>
parents: 103793
diff changeset
158
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
159 ## Temp files.
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160 mostlyclean:
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
161 rm -f *.aux *.log *.toc *.cp *.cps *.fn *.fns *.ky *.kys \
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
162 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
164 ## Products not in the release tarfiles.
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 clean: mostlyclean
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
166 rm -f emacs.dvi emacs-xtra.dvi emacs.pdf emacs-xtra.pdf \
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
167 emacs.ps emacs-xtra.ps
110912
2bfb6bf8a383 Add html targets for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110911
diff changeset
168 rm -rf emacs.html/
110794
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
169 rm -f emacs-manual-${version}.tar*
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 distclean: clean
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
173 ## In the standalone tarfile, the clean rule runs this.
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
174 infoclean:
110894
39eed86814a2 Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110893
diff changeset
175 -cd $(infodir) && rm -f emacs emacs-[1-9] emacs-[1-9][0-9]
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
177 maintainer-clean: distclean infoclean
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
178
110861
ca28093784c4 Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents: 110794
diff changeset
179 .PHONY: dist
84218
86daa3df94b0 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
181 ## Make a standalone tarfile of the Emacs manual sources.
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
182 ## The [c] is a dumb way to prevent configure expanding it.
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
183 dist:
110794
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
184 rm -rf emacs-manual-${version}
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
185 mkdir emacs-manual-${version}
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110750
diff changeset
186 cp ${srcdir}/*.texi ${texinfodir}/texinfo.tex \
110794
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
187 ${srcdir}/ChangeLog* emacs-manual-${version}/
110893
485f4f9f69bd Anchor regexps in doc/ `make dist' rules.
Glenn Morris <rgm@gnu.org>
parents: 110891
diff changeset
188 sed -e 's/@sr[c]dir@/./' -e 's/^\(texinfodir *=\).*/\1 ./' \
485f4f9f69bd Anchor regexps in doc/ `make dist' rules.
Glenn Morris <rgm@gnu.org>
parents: 110891
diff changeset
189 -e 's/^\(infodir *=\).*/\1 ./' -e 's/^\(clean:.*\)/\1 infoclean/' \
110794
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
190 -e "s/@ver[s]ion@/${version}/" \
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
191 ${srcdir}/Makefile.in > emacs-manual-${version}/Makefile
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
192 tar -cf emacs-manual-${version}.tar emacs-manual-${version}
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
193 rm -rf emacs-manual-${version}
84276
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
194
4d1a7898a1ff Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents: 84218
diff changeset
195 ### Makefile ends here