Mercurial > emacs
annotate doc/emacs/Makefile.in @ 110794:bacdf2d96735
Include version number in doc `make dist' tarfiles.
* doc/lispref/Makefile.in (version): New, set by configure.
(clean): Delete dist tar file.
(dist): Use version in tar name.
* doc/lispintro/Makefile.in (version): New, set by configure.
(clean): Delete dist tar file.
(dist): Use version in tar name.
* doc/emacs/Makefile.in (version): New, set by configure.
(clean): Delete dist tar file.
(dist): Use version in tar name.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Wed, 06 Oct 2010 19:23:28 -0700 |
parents | 9a3ce1aa9d45 |
children | ca28093784c4 |
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 | |
110794
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
31 # Only for make dist. |
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
32 version=@version@ |
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
33 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
34 ## 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
|
35 ## 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
|
36 infodir=../../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. | |
42 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
|
43 |
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
44 TEXI2DVI = texi2dvi |
103866 | 45 TEXI2PDF = texi2pdf |
84218 | 46 |
47 # The following rule does not work with all versions of `make'. | |
48 .SUFFIXES: .texi .dvi | |
49 .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
|
50 $(TEXI2DVI) $< |
84218 | 51 |
103793
68421a518966
(texinfodir): New variable, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
52 ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)" |
84218 | 53 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
54 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
55 EMACS_XTRA= \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
56 ${srcdir}/emacs-xtra.texi \ |
84218 | 57 $(srcdir)/arevert-xtra.texi \ |
58 $(srcdir)/cal-xtra.texi \ | |
59 $(srcdir)/dired-xtra.texi \ | |
60 $(srcdir)/picture-xtra.texi \ | |
61 $(srcdir)/emerge-xtra.texi \ | |
62 $(srcdir)/vc-xtra.texi \ | |
63 $(srcdir)/vc1-xtra.texi \ | |
64 $(srcdir)/fortran-xtra.texi \ | |
65 $(srcdir)/msdog-xtra.texi | |
66 | |
67 EMACSSOURCES= \ | |
68 ${srcdir}/emacs.texi \ | |
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 | |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
114 info: $(infodir)/emacs |
84218 | 115 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
116 $(infodir): |
110786
9a3ce1aa9d45
Minor doc/*/Makefile.in change.
Glenn Morris <rgm@gnu.org>
parents:
110781
diff
changeset
|
117 mkdir $@ || test -d $@ |
84218 | 118 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
119 dvi: emacs.dvi |
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
120 pdf: emacs.pdf |
84218 | 121 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
122 # 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
|
123 # There is no provision for Info files to exist in the build directory. |
84218 | 124 # In a distribution of Emacs, the Info files should be up to date. |
125 | |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
126 emacs : $(infodir)/emacs |
84218 | 127 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
128 $(infodir)/emacs: $(infodir) ${EMACSSOURCES} |
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
129 cd $(srcdir); $(MAKEINFO) emacs.texi -o $@ |
84218 | 130 |
131 emacs.dvi: ${EMACSSOURCES} | |
132 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi | |
133 | |
103866 | 134 emacs.pdf: ${EMACSSOURCES} |
135 $(ENVADD) $(TEXI2PDF) ${srcdir}/emacs.texi | |
136 | |
84218 | 137 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
138 emacs-xtra.dvi: $(EMACS_XTRA) |
84218 | 139 $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs-xtra.texi |
140 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
141 emacs-xtra.pdf: $(EMACS_XTRA) |
103866 | 142 $(ENVADD) $(TEXI2PDF) ${srcdir}/emacs-xtra.texi |
143 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
144 .PHONY: mostlyclean clean distclean maintainer-clean infoclean |
84218 | 145 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
146 ## Temp files. |
84218 | 147 mostlyclean: |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
148 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
|
149 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs |
84218 | 150 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
151 ## Products not in the release tarfiles. |
84218 | 152 clean: mostlyclean |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
153 rm -f emacs.dvi emacs-xtra.dvi emacs.pdf emacs-xtra.pdf |
110794
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
154 rm -f emacs-manual-${version}.tar* |
84218 | 155 |
156 distclean: clean | |
157 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
158 ## In the standalone tarfile, the clean rule runs this. |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
159 infoclean: |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
160 -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
|
161 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
162 maintainer-clean: distclean infoclean |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
163 |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
164 ## Make a standalone tarfile of the Emacs manual sources. |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
165 ## 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
|
166 ## 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
|
167 dist: |
110794
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
168 rm -rf emacs-manual-${version} |
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
169 mkdir emacs-manual-${version} |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
170 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
|
171 ${srcdir}/ChangeLog* emacs-manual-${version}/ |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
172 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
|
173 -e 's/\(infodir *=\).*/\1 ./' -e '/^emacs *:/d' \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
174 -e 's/^\(clean:.*\)/\1 infoclean/' \ |
110794
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
175 -e "s/@ver[s]ion@/${version}/" \ |
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
176 ${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
|
177 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
|
178 rm -rf emacs-manual-${version} |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
179 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
180 ### Makefile ends here |