annotate doc/lispref/Makefile.in @ 112442:76fa839f455e

* Makefile.in (MAKEINFO): Now controlled by `configure'. (MAKEINFO_OPTS): New variable. Use it where appropriate. (ENVADD): New variable to control texi2dvi and texi2pdf.
author Werner Lemberg <wl@gnu.org>
date Sun, 23 Jan 2011 11:22:21 +0100
parents 417b1e4d63cd
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 # Makefile for the GNU Emacs Lisp Reference Manual.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 # Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000,
112218
376148b31b5e Add 2011 to FSF/AIST copyright years.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
4 # 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
87649
107ccd98fa12 Merge from emacs--rel--22
Miles Bader <miles@gnu.org>
parents: 84114
diff changeset
5 # Free Software Foundation, Inc.
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 # This file is part of GNU Emacs.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8
95035
fde6f792a832 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
9 # GNU Emacs is free software: you can redistribute it and/or modify
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 # it under the terms of the GNU General Public License as published by
95035
fde6f792a832 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
11 # the Free Software Foundation, either version 3 of the License, or
fde6f792a832 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
12 # (at your option) any later version.
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # GNU Emacs is distributed in the hope that it will be useful,
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 # GNU General Public License for more details.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 # You should have received a copy of the GNU General Public License
95035
fde6f792a832 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
20 # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
fde6f792a832 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
21
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
22 SHELL = /bin/sh
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 # Standard configure variables.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 srcdir = @srcdir@
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26
110794
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
27 version=@version@
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28
110894
39eed86814a2 Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110893
diff changeset
29 infodir = $(srcdir)/../../info
103809
e45ed3bf8f64 (texinfodir): Rename from usermanualdir, and update.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
30 # Directory with the (customized) texinfo.tex file.
e45ed3bf8f64 (texinfodir): Rename from usermanualdir, and update.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
31 texinfodir = $(srcdir)/../misc
110863
f537cb2035e9 Set the version number in the texinfo manuals using configure.
Glenn Morris <rgm@gnu.org>
parents: 110861
diff changeset
32 # Directory with emacsver.texi.
f537cb2035e9 Set the version number in the texinfo manuals using configure.
Glenn Morris <rgm@gnu.org>
parents: 110861
diff changeset
33 emacsdir = $(srcdir)/../emacs
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34
112442
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
35 MAKEINFO = @MAKEINFO@
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
36 MAKEINFO_OPTS = --force -I $(emacsdir) -I $(srcdir)
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 TEXI2DVI = texi2dvi
103867
c070113047fe (TEXI2PDF): New.
Glenn Morris <rgm@gnu.org>
parents: 103809
diff changeset
38 TEXI2PDF = texi2pdf
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
39 DVIPS = dvips
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40
112442
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
41 ENVADD = TEXINPUTS="$(srcdir):$(texinfodir):$(TEXINPUTS)" \
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
42 MAKEINFO="$(MAKEINFO) $(MAKEINFO_OPTS)"
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
43
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 # List of all the texinfo files in the manual:
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 srcs = \
110887
951b5214e939 Use $< in some doc/*/Makefile rules.
Glenn Morris <rgm@gnu.org>
parents: 110886
diff changeset
47 $(srcdir)/elisp.texi \
110866
4b97fee97310 Add doc/ dependencies on emacsver.texi.
Glenn Morris <rgm@gnu.org>
parents: 110863
diff changeset
48 $(emacsdir)/emacsver.texi \
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 $(srcdir)/abbrevs.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 $(srcdir)/advice.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 $(srcdir)/anti.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 $(srcdir)/back.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 $(srcdir)/backups.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 $(srcdir)/buffers.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 $(srcdir)/commands.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 $(srcdir)/compile.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 $(srcdir)/control.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 $(srcdir)/customize.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 $(srcdir)/debugging.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 $(srcdir)/display.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 $(srcdir)/edebug.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 $(srcdir)/errors.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 $(srcdir)/eval.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 $(srcdir)/files.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 $(srcdir)/frames.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 $(srcdir)/functions.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 $(srcdir)/hash.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 $(srcdir)/help.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 $(srcdir)/hooks.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 $(srcdir)/internals.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 $(srcdir)/intro.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 $(srcdir)/keymaps.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 $(srcdir)/lists.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 $(srcdir)/loading.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 $(srcdir)/locals.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 $(srcdir)/macros.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 $(srcdir)/maps.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 $(srcdir)/markers.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 $(srcdir)/minibuf.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 $(srcdir)/modes.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 $(srcdir)/nonascii.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 $(srcdir)/numbers.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 $(srcdir)/objects.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 $(srcdir)/os.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 $(srcdir)/positions.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 $(srcdir)/processes.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 $(srcdir)/searching.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 $(srcdir)/sequences.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 $(srcdir)/streams.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 $(srcdir)/strings.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 $(srcdir)/symbols.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 $(srcdir)/syntax.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 $(srcdir)/text.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 $(srcdir)/tips.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 $(srcdir)/variables.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 $(srcdir)/windows.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 $(srcdir)/index.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 $(srcdir)/gpl.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 $(srcdir)/doclicense.texi
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100
110894
39eed86814a2 Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110893
diff changeset
101 mkinfodir = @test -d ${infodir} || mkdir ${infodir} || test -d ${infodir}
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
103 .PHONY: info dvi pdf ps
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 info: $(infodir)/elisp
110750
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
106 dvi: elisp.dvi
110912
2bfb6bf8a383 Add html targets for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110911
diff changeset
107 html: elisp.html
110750
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
108 pdf: elisp.pdf
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
109 ps: elisp.ps
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 $(infodir)/elisp: $(srcs)
110882
b8bcd2311f78 Avoid having a directory as a prerequisite in doc Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110866
diff changeset
112 $(mkinfodir)
112442
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
113 $(MAKEINFO) $(MAKEINFO_OPTS) -o $@ $<
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 elisp.dvi: $(srcs)
112442
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
116 $(ENVADD) $(TEXI2DVI) $<
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117
110912
2bfb6bf8a383 Add html targets for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110911
diff changeset
118 elisp.html: $(srcs)
112442
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
119 $(MAKEINFO) $(MAKEINFO_OPTS) --html -o $@ $<
110912
2bfb6bf8a383 Add html targets for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110911
diff changeset
120
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
121 elisp.ps: elisp.dvi
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
122 $(DVIPS) -o $@ $<
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123
103867
c070113047fe (TEXI2PDF): New.
Glenn Morris <rgm@gnu.org>
parents: 103809
diff changeset
124 elisp.pdf: $(srcs)
112442
76fa839f455e * Makefile.in (MAKEINFO): Now controlled by `configure'.
Werner Lemberg <wl@gnu.org>
parents: 112228
diff changeset
125 $(ENVADD) $(TEXI2PDF) $<
103867
c070113047fe (TEXI2PDF): New.
Glenn Morris <rgm@gnu.org>
parents: 103809
diff changeset
126
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
127 .PHONY: mostlyclean clean distclean maintainer-clean infoclean
103867
c070113047fe (TEXI2PDF): New.
Glenn Morris <rgm@gnu.org>
parents: 103809
diff changeset
128
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
129 ## [12] stuff is from two-volume.make.
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
130 mostlyclean:
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
131 rm -f *.aux *.log *.toc *.cp *.cps *.fn *.fns *.ky *.kys \
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
132 *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
133 rm -f elisp[12]*
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
134
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
135 clean: mostlyclean
110911
6d7021474f2e Add ps rules for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110894
diff changeset
136 rm -f elisp.dvi elisp.pdf elisp.ps vol[12].pdf
110912
2bfb6bf8a383 Add html targets for some doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110911
diff changeset
137 rm -rf elisp.html
110794
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
138 rm -f emacs-lispref-${version}.tar*
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 distclean: clean
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
142 infoclean:
110894
39eed86814a2 Replace use of VPATH in most doc/ Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110893
diff changeset
143 -cd $(infodir) && rm -f elisp elisp-[1-9] elisp-[1-9][0-9]
110750
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
144
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
145 maintainer-clean: distclean infoclean
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
146
110861
ca28093784c4 Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents: 110794
diff changeset
147 .PHONY: dist
ca28093784c4 Mark some doc/ rules as PHONY.
Glenn Morris <rgm@gnu.org>
parents: 110794
diff changeset
148
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
149 ## Note this excludes the two-volume stuff.
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
150 dist:
110794
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
151 rm -rf emacs-lispref-${version}
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
152 mkdir emacs-lispref-${version}
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
153 cp ${srcdir}/*.texi ${texinfodir}/texinfo.tex \
110892
b9b29f64a71c * doc/lispref/Makefile.in (dist): Also copy emacsver.texi, and edit $emacsdir.
Glenn Morris <rgm@gnu.org>
parents: 110891
diff changeset
154 $(emacsdir)/emacsver.texi ${srcdir}/ChangeLog* \
b9b29f64a71c * doc/lispref/Makefile.in (dist): Also copy emacsver.texi, and edit $emacsdir.
Glenn Morris <rgm@gnu.org>
parents: 110891
diff changeset
155 ${srcdir}/README emacs-lispref-${version}/
110893
485f4f9f69bd Anchor regexps in doc/ `make dist' rules.
Glenn Morris <rgm@gnu.org>
parents: 110892
diff changeset
156 sed -e 's/@sr[c]dir@/./' -e 's/^\(texinfodir *=\).*/\1 ./' \
485f4f9f69bd Anchor regexps in doc/ `make dist' rules.
Glenn Morris <rgm@gnu.org>
parents: 110892
diff changeset
157 -e 's/^\(emacsdir *=\).*/\1 ./' \
485f4f9f69bd Anchor regexps in doc/ `make dist' rules.
Glenn Morris <rgm@gnu.org>
parents: 110892
diff changeset
158 -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
159 -e "s/@ver[s]ion@/${version}/" \
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
160 ${srcdir}/Makefile.in > emacs-lispref-${version}/Makefile
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
161 tar -cf emacs-lispref-${version}.tar emacs-lispref-${version}
bacdf2d96735 Include version number in doc `make dist' tarfiles.
Glenn Morris <rgm@gnu.org>
parents: 110786
diff changeset
162 rm -rf emacs-lispref-${version}
110781
664402ada542 Misc cleanup for doc/*/Makefiles.
Glenn Morris <rgm@gnu.org>
parents: 110751
diff changeset
163
110750
cad6890bb825 Minor doc Makefile.in clean-up.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
164 ### Makefile ends here