Mercurial > emacs
annotate lispref/Makefile.in @ 45518:182c7dd36ef1
Fix :type of `fringe-mode' for last modification.
author | Simon Josefsson <jas@extundo.com> |
---|---|
date | Sat, 25 May 2002 23:16:00 +0000 |
parents | 17b8417b83a0 |
children | 23a1cea22d13 |
rev | line source |
---|---|
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
1 # Makefile for the GNU Emacs Lisp Reference Manual. |
40877 | 2 |
3 # Copyright (C) 1990,1991,1992,1993,1994,1995,1996,1998,1999,2000,2001 | |
4 # Free Software Foundation, Inc. | |
5 | |
6 # This file is part of GNU Emacs. | |
7 | |
8 # GNU Emacs is free software; you can redistribute it and/or modify | |
9 # it under the terms of the GNU General Public License as published by | |
10 # the Free Software Foundation; either version 2, or (at your option) | |
11 # any later version. | |
12 | |
13 # GNU Emacs is distributed in the hope that it will be useful, | |
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 # GNU General Public License for more details. | |
17 | |
18 # You should have received a copy of the GNU General Public License | |
19 # along with GNU Emacs; see the file COPYING. If not, write to | |
20 # the Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
21 # Boston, MA 02111-1307, USA. | |
6558 | 22 |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
23 # Standard configure variables. |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
24 srcdir = @srcdir@ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
25 |
40877 | 26 # Tell make where to find source files; this is needed for the makefiles. |
27 VPATH=@srcdir@ | |
28 | |
41116
be613f250f60
(infodir): Define relative to $(srcdir).
Eli Zaretskii <eliz@gnu.org>
parents:
40896
diff
changeset
|
29 infodir = $(srcdir)/../info |
40877 | 30 |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
31 # Redefine `TEX' if `tex' does not invoke plain TeX. For example: |
6558 | 32 # TEX=platex |
33 TEX=tex | |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
34 SHELL=/bin/sh |
22456
b7bf9b05f494
(INSTALL_INFO): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
22014
diff
changeset
|
35 INSTALL_INFO = install-info |
26694 | 36 MAKEINFO=makeinfo |
6558 | 37 |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
38 # The environment variable and its value to add $(srcdir) to the path |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
39 # searched for TeX input files. |
40877 | 40 texinputdir = TEXINPUTS=$(srcdir):"$(TEXINPUTS)" |
6558 | 41 |
42 # The name of the manual: | |
42824 | 43 VERSION=2.9 |
39992 | 44 manual = elisp-manual-21-$(VERSION) |
6558 | 45 |
46 # Uncomment this line for permuted index. | |
47 # permuted_index = 1 | |
48 | |
49 # List of all the texinfo files in the manual: | |
50 | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
51 srcs = \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
52 $(srcdir)/abbrevs.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
53 $(srcdir)/advice.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
54 $(srcdir)/anti.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
55 $(srcdir)/back.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
56 $(srcdir)/backups.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
57 $(srcdir)/buffers.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
58 $(srcdir)/calendar.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
59 $(srcdir)/commands.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
60 $(srcdir)/compile.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
61 $(srcdir)/control.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
62 $(srcdir)/customize.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
63 $(srcdir)/debugging.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
64 $(srcdir)/display.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
65 $(srcdir)/edebug.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
66 $(srcdir)/elisp.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
67 $(srcdir)/errors.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
68 $(srcdir)/eval.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
69 $(srcdir)/files.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
70 $(srcdir)/frames.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
71 $(srcdir)/functions.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
72 $(srcdir)/hash.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
73 $(srcdir)/help.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
74 $(srcdir)/hooks.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
75 $(srcdir)/internals.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
76 $(srcdir)/intro.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
77 $(srcdir)/keymaps.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
78 $(srcdir)/lists.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
79 $(srcdir)/loading.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
80 $(srcdir)/locals.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
81 $(srcdir)/macros.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
82 $(srcdir)/maps.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
83 $(srcdir)/markers.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
84 $(srcdir)/minibuf.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
85 $(srcdir)/modes.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
86 $(srcdir)/nonascii.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
87 $(srcdir)/numbers.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
88 $(srcdir)/objects.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
89 $(srcdir)/os.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
90 $(srcdir)/positions.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
91 $(srcdir)/processes.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
92 $(srcdir)/searching.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
93 $(srcdir)/sequences.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
94 $(srcdir)/streams.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
95 $(srcdir)/strings.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
96 $(srcdir)/symbols.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
97 $(srcdir)/syntax.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
98 $(srcdir)/text.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
99 $(srcdir)/tips.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
100 $(srcdir)/variables.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
101 $(srcdir)/windows.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
102 $(srcdir)/index.unperm \ |
40228
afee33bfd42a
(srcs): Add gpl.texi and doclicense.texi.
Gerd Moellmann <gerd@gnu.org>
parents:
39992
diff
changeset
|
103 $(srcdir)/index.perm \ |
afee33bfd42a
(srcs): Add gpl.texi and doclicense.texi.
Gerd Moellmann <gerd@gnu.org>
parents:
39992
diff
changeset
|
104 $(srcdir)/gpl.texi \ |
afee33bfd42a
(srcs): Add gpl.texi and doclicense.texi.
Gerd Moellmann <gerd@gnu.org>
parents:
39992
diff
changeset
|
105 $(srcdir)/doclicense.texi |
afee33bfd42a
(srcs): Add gpl.texi and doclicense.texi.
Gerd Moellmann <gerd@gnu.org>
parents:
39992
diff
changeset
|
106 |
6558 | 107 |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
108 .PHONY: clean |
6558 | 109 |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
110 # The info file is named `elisp'. |
40884 | 111 info: $(infodir)/elisp |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
112 |
40877 | 113 $(infodir)/elisp: $(srcs) index.texi |
41116
be613f250f60
(infodir): Define relative to $(srcdir).
Eli Zaretskii <eliz@gnu.org>
parents:
40896
diff
changeset
|
114 $(MAKEINFO) -I. -I$(srcdir) $(srcdir)/elisp.texi -o $(infodir)/elisp |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
115 |
21913
e9cc81bc8d9a
(elisp.dvi): Don't depend on texindex or on elisp.tps.
Richard M. Stallman <rms@gnu.org>
parents:
21644
diff
changeset
|
116 elisp.dvi: $(srcs) index.texi |
6558 | 117 # Avoid losing old contents of aux file entirely. |
118 -mv elisp.aux elisp.oaux | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
119 # First shot to define xrefs. |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
120 $(texinputdir) $(TEX) $(srcdir)/elisp.texi |
6558 | 121 if [ a${permuted_index} != a ]; \ |
122 then \ | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
123 $(srcdir)/permute-index; \ |
22014
9c5897743b4f
(elisp.dvi): Add missing backslash.
Richard M. Stallman <rms@gnu.org>
parents:
21913
diff
changeset
|
124 mv permuted.fns elisp.fns; \ |
21913
e9cc81bc8d9a
(elisp.dvi): Don't depend on texindex or on elisp.tps.
Richard M. Stallman <rms@gnu.org>
parents:
21644
diff
changeset
|
125 texindex elisp.tp; \ |
6558 | 126 else \ |
21913
e9cc81bc8d9a
(elisp.dvi): Don't depend on texindex or on elisp.tps.
Richard M. Stallman <rms@gnu.org>
parents:
21644
diff
changeset
|
127 texindex elisp.??; \ |
6558 | 128 fi |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
129 $(texinputdir) $(TEX) $(srcdir)/elisp.texi |
6558 | 130 |
131 index.texi: | |
132 if [ a${permuted_index} != a ]; \ | |
133 then \ | |
41116
be613f250f60
(infodir): Define relative to $(srcdir).
Eli Zaretskii <eliz@gnu.org>
parents:
40896
diff
changeset
|
134 ln -s $(srcdir)/index.perm index.texi || ln $(srcdir)/index.perm index.texi || cp $(srcdir)/index.perm index.texi; \ |
6558 | 135 else \ |
41116
be613f250f60
(infodir): Define relative to $(srcdir).
Eli Zaretskii <eliz@gnu.org>
parents:
40896
diff
changeset
|
136 ln -s $(srcdir)/index.unperm index.texi || ln $(srcdir)/index.unperm index.texi || cp $(srcdir)/index.unperm index.texi; \ |
6558 | 137 fi |
138 | |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
139 install: elisp |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
140 $(srcdir)/mkinstalldirs $(infodir) |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
141 cp elisp elisp-* $(infodir) |
37605
362fea0e7c8b
(install): Use install-info command line options
Gerd Moellmann <gerd@gnu.org>
parents:
26694
diff
changeset
|
142 ${INSTALL_INFO} --info-dir=${infodir} ${infodir}/elisp |
6558 | 143 |
144 clean: | |
145 rm -f *.toc *.aux *.log *.cp *.cps *.fn *.fns *.tp *.tps \ | |
146 *.vr *.vrs *.pg *.pgs *.ky *.kys | |
147 rm -f make.out core | |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
148 rm -f index.texi |
6558 | 149 |
40896 | 150 distclean: clean |
151 | |
12317
6236bdeec18d
(VERSION): Update version number.
Richard M. Stallman <rms@gnu.org>
parents:
12112
diff
changeset
|
152 maintainer-clean: clean |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
153 rm -f elisp elisp-* elisp.dvi elisp.oaux |
12112 | 154 |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
155 dist: elisp elisp.dvi |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
156 -rm -rf temp |
6558 | 157 -mkdir temp |
158 -mkdir temp/$(manual) | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
159 -ln $(srcdir)/README $(srcdir)/configure.in $(srcdir)/configure \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
160 $(srcdir)/Makefile.in $(srcdir)/permute-index $(srcs) \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
161 $(srcdir)/../man/texinfo.tex \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
162 elisp.dvi elisp.aux elisp.??s elisp elisp-[0-9] elisp-[0-9][0-9] \ |
23150 | 163 temp/$(manual) |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
164 -(cd temp/$(manual); rm -f mkinstalldirs) |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
165 cp $(srcdir)/mkinstalldirs temp/$(manual) |
6558 | 166 (cd temp/$(manual); rm -f *~) |
167 (cd temp; tar chf - $(manual)) | gzip > $(manual).tar.gz | |
168 -rm -rf temp |