annotate doc/lispref/Makefile.in @ 95035:fde6f792a832

Switch to recommended form of GPLv3 permissions notice.
author Glenn Morris <rgm@gnu.org>
date Fri, 16 May 2008 06:00:30 +0000
parents 107ccd98fa12
children 8d0bb433e814
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,
87649
107ccd98fa12 Merge from emacs--rel--22
Miles Bader <miles@gnu.org>
parents: 84114
diff changeset
4 # 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
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
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 # Standard configure variables.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 srcdir = @srcdir@
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 # Tell make where to find source files; this is needed for the makefiles.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 VPATH=@srcdir@
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28
84114
0a7dcb607dd7 (infodir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84044
diff changeset
29 infodir = ../../info
0a7dcb607dd7 (infodir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84044
diff changeset
30 usermanualdir = $(srcdir)/../emacs
0a7dcb607dd7 (infodir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84044
diff changeset
31 miscmanualdir = $(srcdir)/../misc
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 TEXI2DVI = texi2dvi
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 SHELL = /bin/sh
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 INSTALL_INFO = install-info
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 MAKEINFO = makeinfo --force
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 # The name of the manual:
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 VERSION=2.9
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 manual = elisp-manual-21-$(VERSION)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 # List of all the texinfo files in the manual:
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 srcs = \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 $(srcdir)/abbrevs.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 $(srcdir)/advice.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 $(srcdir)/anti.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 $(srcdir)/back.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 $(srcdir)/backups.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 $(srcdir)/buffers.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 $(srcdir)/commands.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 $(srcdir)/compile.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 $(srcdir)/control.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 $(srcdir)/customize.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 $(srcdir)/debugging.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 $(srcdir)/display.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 $(srcdir)/edebug.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 $(srcdir)/elisp.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 $(srcdir)/errors.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 $(srcdir)/eval.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 $(srcdir)/files.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 $(srcdir)/frames.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 $(srcdir)/functions.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 $(srcdir)/hash.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 $(srcdir)/help.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 $(srcdir)/hooks.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 $(srcdir)/internals.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 $(srcdir)/intro.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 $(srcdir)/keymaps.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 $(srcdir)/lists.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 $(srcdir)/loading.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 $(srcdir)/locals.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 $(srcdir)/macros.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 $(srcdir)/maps.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 $(srcdir)/markers.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 $(srcdir)/minibuf.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 $(srcdir)/modes.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 $(srcdir)/nonascii.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 $(srcdir)/numbers.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 $(srcdir)/objects.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 $(srcdir)/os.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 $(srcdir)/positions.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 $(srcdir)/processes.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 $(srcdir)/searching.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 $(srcdir)/sequences.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 $(srcdir)/streams.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 $(srcdir)/strings.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 $(srcdir)/symbols.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 $(srcdir)/syntax.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 $(srcdir)/text.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 $(srcdir)/tips.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 $(srcdir)/variables.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 $(srcdir)/windows.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 $(srcdir)/index.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 $(srcdir)/gpl.texi \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 $(srcdir)/doclicense.texi
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 .PHONY: clean
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 # The info file is named `elisp'.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 info: $(infodir)/elisp
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 $(infodir)/elisp: $(srcs)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105 cd $(srcdir); $(MAKEINFO) -I. -I$(infodir) elisp.texi -o $(infodir)/elisp
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 elisp.dvi: $(srcs)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 $(TEXI2DVI) -I $(srcdir) -I $(usermanualdir) $(srcdir)/elisp.texi
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 # This is for use in a separate distro of the Emacs Lisp manual.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 install: elisp
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112 $(srcdir)/mkinstalldirs $(infodir)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 cp elisp elisp-[1-9] elisp-[1-9][0-9] $(infodir)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 ${INSTALL_INFO} --info-dir=${infodir} ${infodir}/elisp
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 # This is for use in a separate distro of the Emacs Lisp manual.
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 elisp: $(srcs)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 $(MAKEINFO) -I. -I$(srcdir) $(srcdir)/elisp.texi
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 clean:
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 rm -f *.toc *.aux *.log *.cp *.cps *.fn *.fns *.tp *.tps \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 *.vr *.vrs *.pg *.pgs *.ky *.kys
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123 rm -f make.out core
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 distclean: clean
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 maintainer-clean: clean
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 rm -f elisp.dvi elisp.oaux
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129 cd $(infodir); rm -f elisp elisp-[1-9] elisp-[1-9][0-9]
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 dist: $(infodir)/elisp elisp.dvi
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132 -rm -rf temp
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133 -mkdir temp
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 -mkdir temp/$(manual)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 -ln $(srcdir)/README $(srcdir)/configure.in $(srcdir)/configure \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 $(srcdir)/Makefile.in $(srcs) \
84114
0a7dcb607dd7 (infodir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84044
diff changeset
137 $(miscmanualdir)/texinfo.tex \
84044
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 elisp.dvi elisp.aux elisp.??s \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139 $(infodir)/elisp $(infodir)/elisp-[1-9] $(infodir)/elisp-[1-9][0-9] \
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 temp/$(manual)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 -(cd temp/$(manual); rm -f mkinstalldirs)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 cp $(srcdir)/mkinstalldirs temp/$(manual)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143 (cd temp/$(manual); rm -f *~)
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 (cd temp; tar chf - $(manual)) | gzip > $(manual).tar.gz
21cea89dba82 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 -rm -rf temp