Mercurial > emacs
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 |
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 | 2 |
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 | 6 |
7 # This file is part of GNU Emacs. | |
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 | 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 | 13 |
14 # GNU Emacs is distributed in the hope that it will be useful, | |
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
17 # GNU General Public License for more details. | |
18 | |
19 # You should have received a copy of the GNU General Public License | |
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 | 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 | 26 srcdir=@srcdir@ |
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 | 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 | 39 |
40 # The makeinfo program is part of the Texinfo distribution. | |
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 | 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 | 48 |
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 | 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 | 56 $(srcdir)/arevert-xtra.texi \ |
57 $(srcdir)/cal-xtra.texi \ | |
58 $(srcdir)/dired-xtra.texi \ | |
59 $(srcdir)/picture-xtra.texi \ | |
60 $(srcdir)/emerge-xtra.texi \ | |
61 $(srcdir)/vc-xtra.texi \ | |
62 $(srcdir)/vc1-xtra.texi \ | |
63 $(srcdir)/fortran-xtra.texi \ | |
64 $(srcdir)/msdog-xtra.texi | |
65 | |
66 EMACSSOURCES= \ | |
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 | 69 ${srcdir}/doclicense.texi \ |
70 ${srcdir}/gpl.texi \ | |
71 ${srcdir}/screen.texi \ | |
72 ${srcdir}/commands.texi \ | |
73 ${srcdir}/entering.texi \ | |
74 ${srcdir}/basic.texi \ | |
75 ${srcdir}/mini.texi \ | |
76 ${srcdir}/m-x.texi \ | |
77 ${srcdir}/help.texi \ | |
78 ${srcdir}/mark.texi \ | |
79 ${srcdir}/killing.texi \ | |
80 ${srcdir}/regs.texi \ | |
81 ${srcdir}/display.texi \ | |
82 ${srcdir}/search.texi \ | |
83 ${srcdir}/fixit.texi \ | |
84 ${srcdir}/files.texi \ | |
85 ${srcdir}/buffers.texi \ | |
86 ${srcdir}/windows.texi \ | |
87 ${srcdir}/frames.texi \ | |
88 ${srcdir}/mule.texi \ | |
89 ${srcdir}/major.texi \ | |
90 ${srcdir}/indent.texi \ | |
91 ${srcdir}/text.texi \ | |
92 ${srcdir}/programs.texi \ | |
93 ${srcdir}/building.texi \ | |
94 ${srcdir}/maintaining.texi \ | |
95 ${srcdir}/abbrevs.texi \ | |
96 ${srcdir}/sending.texi \ | |
97 ${srcdir}/rmail.texi \ | |
98 ${srcdir}/dired.texi \ | |
99 ${srcdir}/calendar.texi \ | |
100 ${srcdir}/misc.texi \ | |
101 ${srcdir}/custom.texi \ | |
102 ${srcdir}/trouble.texi \ | |
103 ${srcdir}/cmdargs.texi \ | |
104 ${srcdir}/xresources.texi \ | |
105 ${srcdir}/anti.texi \ | |
106 ${srcdir}/macos.texi \ | |
107 ${srcdir}/msdog.texi \ | |
108 ${srcdir}/gnu.texi \ | |
109 ${srcdir}/glossary.texi \ | |
110 ${srcdir}/ack.texi \ | |
111 ${srcdir}/kmacro.texi \ | |
112 $(EMACS_XTRA) | |
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 | 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 | 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 | 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 | 130 # In a distribution of Emacs, the Info files should be up to date. |
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 | 135 |
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 | 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 | 141 |
103866 | 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 | 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 | 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 | 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 | 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 | 158 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
159 ## Temp files. |
84218 | 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 | 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 | 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 | 170 |
171 distclean: clean | |
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 | 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 | 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 |