Mercurial > emacs
annotate doc/emacs/Makefile.in @ 110911:6d7021474f2e
Add ps rules for some doc/ Makefiles.
* doc/misc/Makefile.in (.texi.dvi): Remove unnecessary suffix rule.
* dos/lispref/Makefile.in (DVIPS): New variable.
(.PHONY): Add ps.
(ps, elisp.ps): New targets.
(clean): Delete ps file.
* doc/lispintro/Makefile.in (.dvi.ps): Remove unnecessary suffix rule.
(.PHONY): Add ps.
(ps, emacs-lisp-intro.ps): New targets.
(clean): Delete ps file.
* doc/emacs/Makefile.in (.texi.dvi): Remove unnecessary suffix rule.
(DVIPS): New variable.
(.PHONY): Add ps.
(ps, emacs.ps, emacs-xtra.ps): New targets.
(clean): Delete ps files.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Sun, 10 Oct 2010 17:30:34 -0700 |
parents | 39eed86814a2 |
children | 2bfb6bf8a383 |
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 | |
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@ |
bacdf2d96735
Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents:
110786
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 | 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 |
110911
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
46 DVIPS = dvips |
84218 | 47 |
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= \ | |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
65 ${srcdir}/emacs.texi \ |
110866
4b97fee97310
Add doc/ dependencies on emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents:
110863
diff
changeset
|
66 ${srcdir}/emacsver.texi \ |
84218 | 67 ${srcdir}/doclicense.texi \ |
68 ${srcdir}/gpl.texi \ | |
69 ${srcdir}/screen.texi \ | |
70 ${srcdir}/commands.texi \ | |
71 ${srcdir}/entering.texi \ | |
72 ${srcdir}/basic.texi \ | |
73 ${srcdir}/mini.texi \ | |
74 ${srcdir}/m-x.texi \ | |
75 ${srcdir}/help.texi \ | |
76 ${srcdir}/mark.texi \ | |
77 ${srcdir}/killing.texi \ | |
78 ${srcdir}/regs.texi \ | |
79 ${srcdir}/display.texi \ | |
80 ${srcdir}/search.texi \ | |
81 ${srcdir}/fixit.texi \ | |
82 ${srcdir}/files.texi \ | |
83 ${srcdir}/buffers.texi \ | |
84 ${srcdir}/windows.texi \ | |
85 ${srcdir}/frames.texi \ | |
86 ${srcdir}/mule.texi \ | |
87 ${srcdir}/major.texi \ | |
88 ${srcdir}/indent.texi \ | |
89 ${srcdir}/text.texi \ | |
90 ${srcdir}/programs.texi \ | |
91 ${srcdir}/building.texi \ | |
92 ${srcdir}/maintaining.texi \ | |
93 ${srcdir}/abbrevs.texi \ | |
94 ${srcdir}/sending.texi \ | |
95 ${srcdir}/rmail.texi \ | |
96 ${srcdir}/dired.texi \ | |
97 ${srcdir}/calendar.texi \ | |
98 ${srcdir}/misc.texi \ | |
99 ${srcdir}/custom.texi \ | |
100 ${srcdir}/trouble.texi \ | |
101 ${srcdir}/cmdargs.texi \ | |
102 ${srcdir}/xresources.texi \ | |
103 ${srcdir}/anti.texi \ | |
104 ${srcdir}/macos.texi \ | |
105 ${srcdir}/msdog.texi \ | |
106 ${srcdir}/gnu.texi \ | |
107 ${srcdir}/glossary.texi \ | |
108 ${srcdir}/ack.texi \ | |
109 ${srcdir}/kmacro.texi \ | |
110 $(EMACS_XTRA) | |
111 | |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110881
diff
changeset
|
112 ## 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
|
113 ## 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
|
114 ## 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
|
115 ## 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
|
116 mkinfodir = @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
|
117 |
110911
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
118 .PHONY: info dvi pdf ps |
110861
ca28093784c4
Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents:
110794
diff
changeset
|
119 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
120 info: $(infodir)/emacs |
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
121 dvi: emacs.dvi |
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
122 pdf: emacs.pdf |
110911
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
123 ps: emacs.ps |
84218 | 124 |
110750
cad6890bb825
Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents:
110642
diff
changeset
|
125 # 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
|
126 # There is no provision for Info files to exist in the build directory. |
84218 | 127 # In a distribution of Emacs, the Info files should be up to date. |
128 | |
110882
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110881
diff
changeset
|
129 $(infodir)/emacs: ${EMACSSOURCES} |
b8bcd2311f78
Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110881
diff
changeset
|
130 $(mkinfodir) |
110894
39eed86814a2
Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110893
diff
changeset
|
131 $(MAKEINFO) $< -o $@ |
84218 | 132 |
133 emacs.dvi: ${EMACSSOURCES} | |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
134 $(ENVADD) $(TEXI2DVI) $< |
84218 | 135 |
110911
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
136 emacs.ps: emacs.dvi |
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
137 $(DVIPS) -o $@ $< |
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
138 |
103866 | 139 emacs.pdf: ${EMACSSOURCES} |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
140 $(ENVADD) $(TEXI2PDF) $< |
103866 | 141 |
84218 | 142 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
143 emacs-xtra.dvi: $(EMACS_XTRA) |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
144 $(ENVADD) $(TEXI2DVI) $< |
84218 | 145 |
110911
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
146 emacs-xtra.ps: emacs-xtra.dvi |
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
147 $(DVIPS) -o $@ $< |
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
148 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
149 emacs-xtra.pdf: $(EMACS_XTRA) |
110887
951b5214e939
Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents:
110886
diff
changeset
|
150 $(ENVADD) $(TEXI2PDF) $< |
103866 | 151 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
152 .PHONY: mostlyclean clean distclean maintainer-clean infoclean |
84218 | 153 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
154 ## Temp files. |
84218 | 155 mostlyclean: |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
156 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
|
157 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs |
84218 | 158 |
110781
664402ada542
Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110750
diff
changeset
|
159 ## Products not in the release tarfiles. |
84218 | 160 clean: mostlyclean |
110911
6d7021474f2e
Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110894
diff
changeset
|
161 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
|
162 emacs.ps emacs-xtra.ps |
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: |
110894
39eed86814a2
Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents:
110893
diff
changeset
|
169 -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}/ |
110893
485f4f9f69bd
Anchor regexps in doc/ `make dist' rules.
Glenn Morris <rgm@gnu.org>
parents:
110891
diff
changeset
|
182 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
|
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 |