Mercurial > emacs
annotate doc/emacs/Makefile.in @ 110891:984146e401fc
Remove references to emacsver.texi.in in doc/ `make dist' rules.
* doc/emacs/Makefile.in (dist): Remove reference to emacsver.texi.in.
* doc/lispref/Makefile.in (dist): Remove reference to emacsver.texi.in.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Sat, 09 Oct 2010 13:22:11 -0700 |
parents | 951b5214e939 |
children | 485f4f9f69bd |
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. |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
36 ## 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
|
37 ## distribution tarfiles, they are always made in $scrdir/../../info, |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
38 ## even for out-of-tree builds. So infodir is really relative to srcdir. |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
39 ## The use of VPATH makes it work out, but why not set |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
40 ## infodir = $(srcdir)/../../info and make it explicit? |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
41 infodir=../../info |
103793
68421a518966
(texinfodir): New variable, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
42 # 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
|
43 texinfodir = $(srcdir)/../misc |
84218 | 44 |
45 # The makeinfo program is part of the Texinfo distribution. | |
46 # Use --force so that it generates output even if there are errors. | |
47 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
|
48 |
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
49 TEXI2DVI = texi2dvi |
103866 | 50 TEXI2PDF = texi2pdf |
84218 | 51 |
52 # The following rule does not work with all versions of `make'. | |
53 .SUFFIXES: .texi .dvi | |
54 .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
|
55 $(TEXI2DVI) $< |
84218 | 56 |
103793
68421a518966
(texinfodir): New variable, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents:
100974
diff
changeset
|
57 ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" MAKEINFO="$(MAKEINFO) -I$(srcdir)" |
84218 | 58 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
59 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
60 EMACS_XTRA= \ |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
61 ${srcdir}/emacs-xtra.texi \ |
84218 | 62 $(srcdir)/arevert-xtra.texi \ |
63 $(srcdir)/cal-xtra.texi \ | |
64 $(srcdir)/dired-xtra.texi \ | |
65 $(srcdir)/picture-xtra.texi \ | |
66 $(srcdir)/emerge-xtra.texi \ | |
67 $(srcdir)/vc-xtra.texi \ | |
68 $(srcdir)/vc1-xtra.texi \ | |
69 $(srcdir)/fortran-xtra.texi \ | |
70 $(srcdir)/msdog-xtra.texi | |
71 | |
72 EMACSSOURCES= \ | |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
73 ${srcdir}/emacs.texi \ |
110866
4b97fee97310
Add doc/ dependencies on emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110863
diff
changeset
|
74 ${srcdir}/emacsver.texi \ |
84218 | 75 ${srcdir}/doclicense.texi \ |
76 ${srcdir}/gpl.texi \ | |
77 ${srcdir}/screen.texi \ | |
78 ${srcdir}/commands.texi \ | |
79 ${srcdir}/entering.texi \ | |
80 ${srcdir}/basic.texi \ | |
81 ${srcdir}/mini.texi \ | |
82 ${srcdir}/m-x.texi \ | |
83 ${srcdir}/help.texi \ | |
84 ${srcdir}/mark.texi \ | |
85 ${srcdir}/killing.texi \ | |
86 ${srcdir}/regs.texi \ | |
87 ${srcdir}/display.texi \ | |
88 ${srcdir}/search.texi \ | |
89 ${srcdir}/fixit.texi \ | |
90 ${srcdir}/files.texi \ | |
91 ${srcdir}/buffers.texi \ | |
92 ${srcdir}/windows.texi \ | |
93 ${srcdir}/frames.texi \ | |
94 ${srcdir}/mule.texi \ | |
95 ${srcdir}/major.texi \ | |
96 ${srcdir}/indent.texi \ | |
97 ${srcdir}/text.texi \ | |
98 ${srcdir}/programs.texi \ | |
99 ${srcdir}/building.texi \ | |
100 ${srcdir}/maintaining.texi \ | |
101 ${srcdir}/abbrevs.texi \ | |
102 ${srcdir}/sending.texi \ | |
103 ${srcdir}/rmail.texi \ | |
104 ${srcdir}/dired.texi \ | |
105 ${srcdir}/calendar.texi \ | |
106 ${srcdir}/misc.texi \ | |
107 ${srcdir}/custom.texi \ | |
108 ${srcdir}/trouble.texi \ | |
109 ${srcdir}/cmdargs.texi \ | |
110 ${srcdir}/xresources.texi \ | |
111 ${srcdir}/anti.texi \ | |
112 ${srcdir}/macos.texi \ | |
113 ${srcdir}/msdog.texi \ | |
114 ${srcdir}/gnu.texi \ | |
115 ${srcdir}/glossary.texi \ | |
116 ${srcdir}/ack.texi \ | |
117 ${srcdir}/kmacro.texi \ | |
118 $(EMACS_XTRA) | |
119 | |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110881
diff
changeset
|
120 ## 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
|
121 ## 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
|
122 ## 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
|
123 ## solution anyway. The second test -d is for parallel builds. |
110886
001fbc0986c9
Fix previous doc/*/Makefile.in change.
Glenn Morris <rgm@gnu.org>
parents:
110883
diff
changeset
|
124 mkinfodir = @cd ${srcdir}; test -d ${infodir} || mkdir ${infodir} || test -d ${infodir} |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110881
diff
changeset
|
125 |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
126 .PHONY: info dvi pdf |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
127 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
128 info: $(infodir)/emacs |
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
129 dvi: emacs.dvi |
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
130 pdf: emacs.pdf |
84218 | 131 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
132 # 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
|
133 # There is no provision for Info files to exist in the build directory. |
84218 | 134 # In a distribution of Emacs, the Info files should be up to date. |
135 | |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110881
diff
changeset
|
136 $(infodir)/emacs: ${EMACSSOURCES} |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110881
diff
changeset
|
137 $(mkinfodir) |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
138 cd $(srcdir); $(MAKEINFO) $< -o $@ |
84218 | 139 |
140 emacs.dvi: ${EMACSSOURCES} | |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
141 $(ENVADD) $(TEXI2DVI) $< |
84218 | 142 |
103866 | 143 emacs.pdf: ${EMACSSOURCES} |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
144 $(ENVADD) $(TEXI2PDF) $< |
103866 | 145 |
84218 | 146 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
147 emacs-xtra.dvi: $(EMACS_XTRA) |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
148 $(ENVADD) $(TEXI2DVI) $< |
84218 | 149 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
150 emacs-xtra.pdf: $(EMACS_XTRA) |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
151 $(ENVADD) $(TEXI2PDF) $< |
103866 | 152 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
153 .PHONY: mostlyclean clean distclean maintainer-clean infoclean |
84218 | 154 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
155 ## Temp files. |
84218 | 156 mostlyclean: |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
157 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
|
158 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs |
84218 | 159 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
160 ## Products not in the release tarfiles. |
84218 | 161 clean: mostlyclean |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
162 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
|
163 rm -f emacs-manual-${version}.tar* |
84218 | 164 |
165 distclean: clean | |
166 | |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
167 ## In the standalone tarfile, the clean rule runs this. |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
168 infoclean: |
110883 | 169 -cd $(srcdir) && 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
|
170 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
171 maintainer-clean: distclean infoclean |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
172 |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
173 .PHONY: dist |
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
174 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
175 ## Make a standalone tarfile of the Emacs manual sources. |
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
176 ## 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
|
177 dist: |
110794
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
178 rm -rf emacs-manual-${version} |
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
179 mkdir emacs-manual-${version} |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
180 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
|
181 ${srcdir}/ChangeLog* emacs-manual-${version}/ |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
182 sed -e 's/@sr[c]dir@/./' -e 's/\(texinfodir *=\).*/\1 ./' \ |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
183 -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
|
184 -e "s/@ver[s]ion@/${version}/" \ |
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
diff
changeset
|
185 ${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
|
186 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
|
187 rm -rf emacs-manual-${version} |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
188 |
84276
4d1a7898a1ff
Move all targets that are not the Emacs manual to misc/Makefile.in.
Glenn Morris <rgm@gnu.org>
parents:
84218
diff
changeset
|
189 ### Makefile ends here |