Mercurial > emacs
annotate doc/emacs/Makefile.in @ 110786:9a3ce1aa9d45
Minor doc/*/Makefile.in change.
* doc/emacs/Makefile.in ($(infodir)): Add parallel build workaround.
* doc/lispintro/Makefile.in ($(infodir)): Add parallel build workaround.
* doc/lispref/Makefile.in ($(infodir)): Add parallel build workaround.
* doc/misc/Makefile.in ($(infodir)): Add parallel build workaround.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Tue, 05 Oct 2010 21:20:46 -0700 |
parents | 664402ada542 |
children | bacdf2d96735 |
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, | |
110642
35c472420ce6
Remove unused variable top_srcdir from doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
4 # 2004, 2005, 2006, 2007, 2008, 2009, 2010 |
35c472420ce6
Remove unused variable top_srcdir from doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
106815
diff
changeset
|
5 # Free Software Foundation, Inc. |
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 | |
28 # Tell make where to find source files; this is needed for the makefiles. | |
29 VPATH=@srcdir@ | |
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. |
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
33 infodir=../../info |
103793
68421a518966
(texinfodir): New variable, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
34 # 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
|
35 texinfodir = $(srcdir)/../misc |
84218 | 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 | |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
40 |
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
41 TEXI2DVI = texi2dvi |
103866 | 42 TEXI2PDF = texi2pdf |
84218 | 43 |
44 # The following rule does not work with all versions of `make'. | |
45 .SUFFIXES: .texi .dvi | |
46 .texi.dvi: | |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
47 $(TEXI2DVI) $< |
84218 | 48 |
103793
68421a518966
(texinfodir): New variable, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
49 ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)" |
84218 | 50 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
51 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
52 EMACS_XTRA= \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
53 ${srcdir}/emacs-xtra.texi \ |
84218 | 54 $(srcdir)/arevert-xtra.texi \ |
55 $(srcdir)/cal-xtra.texi \ | |
56 $(srcdir)/dired-xtra.texi \ | |
57 $(srcdir)/picture-xtra.texi \ | |
58 $(srcdir)/emerge-xtra.texi \ | |
59 $(srcdir)/vc-xtra.texi \ | |
60 $(srcdir)/vc1-xtra.texi \ | |
61 $(srcdir)/fortran-xtra.texi \ | |
62 $(srcdir)/msdog-xtra.texi | |
63 | |
64 EMACSSOURCES= \ | |
65 ${srcdir}/emacs.texi \ | |
66 ${srcdir}/doclicense.texi \ | |
67 ${srcdir}/gpl.texi \ | |
68 ${srcdir}/screen.texi \ | |
69 ${srcdir}/commands.texi \ | |
70 ${srcdir}/entering.texi \ | |
71 ${srcdir}/basic.texi \ | |
72 ${srcdir}/mini.texi \ | |
73 ${srcdir}/m-x.texi \ | |
74 ${srcdir}/help.texi \ | |
75 ${srcdir}/mark.texi \ | |
76 ${srcdir}/killing.texi \ | |
77 ${srcdir}/regs.texi \ | |
78 ${srcdir}/display.texi \ | |
79 ${srcdir}/search.texi \ | |
80 ${srcdir}/fixit.texi \ | |
81 ${srcdir}/files.texi \ | |
82 ${srcdir}/buffers.texi \ | |
83 ${srcdir}/windows.texi \ | |
84 ${srcdir}/frames.texi \ | |
85 ${srcdir}/mule.texi \ | |
86 ${srcdir}/major.texi \ | |
87 ${srcdir}/indent.texi \ | |
88 ${srcdir}/text.texi \ | |
89 ${srcdir}/programs.texi \ | |
90 ${srcdir}/building.texi \ | |
91 ${srcdir}/maintaining.texi \ | |
92 ${srcdir}/abbrevs.texi \ | |
93 ${srcdir}/sending.texi \ | |
94 ${srcdir}/rmail.texi \ | |
95 ${srcdir}/dired.texi \ | |
96 ${srcdir}/calendar.texi \ | |
97 ${srcdir}/misc.texi \ | |
98 ${srcdir}/custom.texi \ | |
99 ${srcdir}/trouble.texi \ | |
100 ${srcdir}/cmdargs.texi \ | |
101 ${srcdir}/xresources.texi \ | |
102 ${srcdir}/anti.texi \ | |
103 ${srcdir}/macos.texi \ | |
104 ${srcdir}/msdog.texi \ | |
105 ${srcdir}/gnu.texi \ | |
106 ${srcdir}/glossary.texi \ | |
107 ${srcdir}/ack.texi \ | |
108 ${srcdir}/kmacro.texi \ | |
109 $(EMACS_XTRA) | |
110 | |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
111 info: $(infodir)/emacs |
84218 | 112 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
113 $(infodir): |
110786
9a3ce1aa9d45
Minor doc/*/Makefile.in change.
Glenn Morris <rgm@gnu.org>
parents:
110781
diff
changeset
|
114 mkdir $@ || test -d $@ |
84218 | 115 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
116 dvi: emacs.dvi |
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
117 pdf: emacs.pdf |
84218 | 118 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
119 # 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
|
120 # There is no provision for Info files to exist in the build directory. |
84218 | 121 # In a distribution of Emacs, the Info files should be up to date. |
122 | |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
123 emacs : $(infodir)/emacs |
84218 | 124 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
125 $(infodir)/emacs: $(infodir) ${EMACSSOURCES} |
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
126 cd $(srcdir); $(MAKEINFO) emacs.texi -o $@ |
84218 | 127 |
128 emacs.dvi: ${EMACSSOURCES} | |
129 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi | |
130 | |
103866 | 131 emacs.pdf: ${EMACSSOURCES} |
132 $(ENVADD) $(TEXI2PDF) ${srcdir}/emacs.texi | |
133 | |
84218 | 134 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
135 emacs-xtra.dvi: $(EMACS_XTRA) |
84218 | 136 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs-xtra.texi |
137 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
138 emacs-xtra.pdf: $(EMACS_XTRA) |
103866 | 139 $(ENVADD) $(TEXI2PDF) ${srcdir}/emacs-xtra.texi |
140 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
141 .PHONY: mostlyclean clean distclean maintainer-clean infoclean |
84218 | 142 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
143 ## Temp files. |
84218 | 144 mostlyclean: |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
145 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
|
146 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs |
84218 | 147 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
148 ## Products not in the release tarfiles. |
84218 | 149 clean: mostlyclean |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
150 rm -f emacs.dvi emacs-xtra.dvi emacs.pdf emacs-xtra.pdf |
84218 | 151 |
152 distclean: clean | |
153 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
154 ## In the standalone tarfile, the clean rule runs this. |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
155 infoclean: |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
156 -cd $(infodir) && rm -f emacs emacs-[1-9] emacs-[1-9][0-9] |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
157 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
158 maintainer-clean: distclean infoclean |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
159 |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
160 ## Make a standalone tarfile of the Emacs manual sources. |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
161 ## 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
|
162 ## The emacs: rule becomes circular when we change infodir to ".". |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
163 dist: |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
164 rm -rf emacs |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
165 mkdir emacs |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
166 cp ${srcdir}/*.texi ${texinfodir}/texinfo.tex \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
167 ${srcdir}/ChangeLog* emacs/ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
168 sed -e 's/@sr[c]dir@/./' -e 's/\(texinfodir *=\).*/\1 ./' \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
169 -e 's/\(infodir *=\).*/\1 ./' -e '/^emacs *:/d' \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
170 -e 's/^\(clean:.*\)/\1 infoclean/' \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
171 ${srcdir}/Makefile.in > emacs/Makefile |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
172 tar -cf emacs-texi.tar emacs |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
173 rm -rf emacs |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
174 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
175 ### Makefile ends here |