annotate doc/lispref/makefile.w32-in @ 112419:a651b7492a78

* lisp/emacs-lisp/checkdoc.el (checkdoc-this-string-valid-engine): Assume foo(bar) is a manpage reference rather than some unquoted symbol.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 21 Jan 2011 13:12:32 -0500
parents 376148b31b5e
children 417b1e4d63cd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 # -*- Makefile -*- for the GNU Emacs Lisp Reference Manual.
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
112218
376148b31b5e Add 2011 to FSF/AIST copyright years.
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
3 # Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
87649
107ccd98fa12 Merge from emacs--rel--22
Miles Bader <miles@gnu.org>
parents: 84115
diff changeset
4 # Free Software Foundation, Inc.
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 # This file is part of GNU Emacs.
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7
95035
fde6f792a832 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 91600
diff changeset
8 # GNU Emacs is free software: you can redistribute it and/or modify
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 # 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: 91600
diff changeset
10 # 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: 91600
diff changeset
11 # (at your option) any later version.
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 # GNU Emacs is distributed in the hope that it will be useful,
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 # GNU General Public License for more details.
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 # 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: 91600
diff changeset
19 # 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: 91600
diff changeset
20
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 # Standard configure variables.
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 srcdir = .
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24
84115
bf7b75608f40 (infodir, texinputdir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84084
diff changeset
25 infodir = $(srcdir)/../../info
bf7b75608f40 (infodir, texinputdir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84084
diff changeset
26 usermanualdir = $(srcdir)/../emacs
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 # Redefine `TEX' if `tex' does not invoke plain TeX. For example:
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 # TEX=platex
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 TEX=tex
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 INSTALL_INFO = install-info
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 MAKEINFO = makeinfo --force
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 # The environment variable and its value to add $(srcdir) to the path
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 # searched for TeX input files.
84115
bf7b75608f40 (infodir, texinputdir): Go up one more level.
Glenn Morris <rgm@gnu.org>
parents: 84084
diff changeset
36 texinputdir = $(srcdir)\..\..\nt\envadd.bat "TEXINPUTS=$(srcdir);$(TEXINPUTS)" /C
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 # The name of the manual:
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 VERSION=2.9
95950
458bb3147a5c (manual): Use "23" rather than "21".
Glenn Morris <rgm@gnu.org>
parents: 95035
diff changeset
40 ## FIXME can this be set by configure, as per Makefile.in?
458bb3147a5c (manual): Use "23" rather than "21".
Glenn Morris <rgm@gnu.org>
parents: 95035
diff changeset
41 manual = elisp-manual-23-$(VERSION)
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 # List of all the texinfo files in the manual:
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 srcs = \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 $(srcdir)/abbrevs.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 $(srcdir)/advice.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 $(srcdir)/anti.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 $(srcdir)/back.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 $(srcdir)/backups.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 $(srcdir)/buffers.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 $(srcdir)/commands.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 $(srcdir)/compile.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 $(srcdir)/control.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 $(srcdir)/customize.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 $(srcdir)/debugging.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 $(srcdir)/display.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 $(srcdir)/edebug.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 $(srcdir)/elisp.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 $(srcdir)/errors.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 $(srcdir)/eval.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 $(srcdir)/files.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 $(srcdir)/frames.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 $(srcdir)/functions.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 $(srcdir)/hash.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 $(srcdir)/help.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 $(srcdir)/hooks.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 $(srcdir)/internals.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 $(srcdir)/intro.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 $(srcdir)/keymaps.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 $(srcdir)/lists.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 $(srcdir)/loading.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 $(srcdir)/locals.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 $(srcdir)/macros.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 $(srcdir)/maps.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 $(srcdir)/markers.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 $(srcdir)/minibuf.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 $(srcdir)/modes.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 $(srcdir)/nonascii.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 $(srcdir)/numbers.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 $(srcdir)/objects.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 $(srcdir)/os.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 $(srcdir)/positions.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 $(srcdir)/processes.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 $(srcdir)/searching.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 $(srcdir)/sequences.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 $(srcdir)/streams.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 $(srcdir)/strings.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 $(srcdir)/symbols.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 $(srcdir)/syntax.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 $(srcdir)/text.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 $(srcdir)/tips.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 $(srcdir)/variables.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 $(srcdir)/windows.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 $(srcdir)/index.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 $(srcdir)/gpl.texi \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 $(srcdir)/doclicense.texi
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 .PHONY: clean
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 # The info file is named `elisp'.
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103
91600
63f2f6e290cb Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 91540
diff changeset
104 info: $(infodir)/elisp
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105
91600
63f2f6e290cb Revert last change
Jason Rumney <jasonr@gnu.org>
parents: 91540
diff changeset
106 $(infodir)/dir:
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107 $(INSTALL_INFO) --info-dir=$(infodir) $(infodir)/elisp
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 $(infodir)/elisp: $(srcs)
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 $(MAKEINFO) -I. -I$(srcdir) -o $(infodir)/elisp $(srcdir)/elisp.texi
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112 elisp.dvi: $(srcs)
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 $(texinputdir) $(TEX) -I $(usermanualdir) $(srcdir)/elisp.texi
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 clean:
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 - $(DEL) *.toc *.aux *.log *.cp *.cps *.fn *.fns *.tp *.tps \
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 *.vr *.vrs *.pg *.pgs *.ky *.kys
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118 - $(DEL) make.out core
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 - $(DEL) $(infodir)/elisp*
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 distclean: clean
96104
9ca383883671 (distclean): Remove makefile.
Eli Zaretskii <eliz@gnu.org>
parents: 95950
diff changeset
122 - $(DEL) makefile
84084
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 maintainer-clean: distclean
7ee2021a7ef2 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 - $(DEL) elisp elisp-? elisp-?? elisp.dvi elisp.oaux