Mercurial > emacs
annotate lispref/Makefile.in @ 39388:bc299a98338c
Doc fix
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Sat, 22 Sep 2001 20:04:21 +0000 |
parents | c10fdb82dffd |
children | a1c413c77526 |
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. |
6558 | 2 # |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
3 # 2 September 2001 |
6558 | 4 |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
5 # Standard configure variables. |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
6 prefix = @prefix@ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
7 infodir = @infodir@ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
8 srcdir = @srcdir@ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
9 |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
10 # Redefine `TEX' if `tex' does not invoke plain TeX. For example: |
6558 | 11 # TEX=platex |
12 TEX=tex | |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
13 MAKE=make |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
14 SHELL=/bin/sh |
22456
b7bf9b05f494
(INSTALL_INFO): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
22014
diff
changeset
|
15 INSTALL_INFO = install-info |
26694 | 16 MAKEINFO=makeinfo |
6558 | 17 |
18 # Where the TeX macros are kept: | |
19 texmacrodir = /usr/local/lib/tex/macros | |
20 | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
21 # 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
|
22 # searched for TeX input files. |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
23 texinputdir = TEXINPUTS=$(srcdir): |
6558 | 24 |
25 # The name of the manual: | |
25750 | 26 VERSION=2.6 |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
27 manual = elisp-manual-20-$(VERSION) |
6558 | 28 |
29 # Uncomment this line for permuted index. | |
30 # permuted_index = 1 | |
31 | |
32 # List of all the texinfo files in the manual: | |
33 | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
34 srcs = \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
35 $(srcdir)/abbrevs.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
36 $(srcdir)/advice.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
37 $(srcdir)/anti.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
38 $(srcdir)/back.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
39 $(srcdir)/backups.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
40 $(srcdir)/buffers.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
41 $(srcdir)/calendar.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
42 $(srcdir)/commands.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
43 $(srcdir)/compile.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
44 $(srcdir)/control.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
45 $(srcdir)/customize.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
46 $(srcdir)/debugging.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
47 $(srcdir)/display.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
48 $(srcdir)/edebug.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
49 $(srcdir)/elisp.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
50 $(srcdir)/errors.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
51 $(srcdir)/eval.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
52 $(srcdir)/files.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
53 $(srcdir)/frames.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
54 $(srcdir)/functions.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
55 $(srcdir)/hash.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
56 $(srcdir)/help.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
57 $(srcdir)/hooks.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
58 $(srcdir)/internals.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
59 $(srcdir)/intro.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
60 $(srcdir)/keymaps.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
61 $(srcdir)/lists.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
62 $(srcdir)/loading.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
63 $(srcdir)/locals.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
64 $(srcdir)/macros.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
65 $(srcdir)/maps.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
66 $(srcdir)/markers.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
67 $(srcdir)/minibuf.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
68 $(srcdir)/modes.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
69 $(srcdir)/nonascii.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
70 $(srcdir)/numbers.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
71 $(srcdir)/objects.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
72 $(srcdir)/os.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
73 $(srcdir)/positions.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
74 $(srcdir)/processes.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
75 $(srcdir)/searching.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
76 $(srcdir)/sequences.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
77 $(srcdir)/streams.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
78 $(srcdir)/strings.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
79 $(srcdir)/symbols.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
80 $(srcdir)/syntax.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
81 $(srcdir)/text.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
82 $(srcdir)/tips.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
83 $(srcdir)/variables.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
84 $(srcdir)/windows.texi \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
85 $(srcdir)/index.unperm \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
86 $(srcdir)/index.perm |
6558 | 87 |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
88 .PHONY: clean |
6558 | 89 |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
90 # The info file is named `elisp'. |
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
91 |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
92 elisp: $(srcs) index.texi |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
93 rm -f elisp-* |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
94 $(MAKEINFO) -I $(srcdir) $(srcdir)/elisp.texi |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
95 |
21913
e9cc81bc8d9a
(elisp.dvi): Don't depend on texindex or on elisp.tps.
Richard M. Stallman <rms@gnu.org>
parents:
21644
diff
changeset
|
96 elisp.dvi: $(srcs) index.texi |
6558 | 97 # Avoid losing old contents of aux file entirely. |
98 -mv elisp.aux elisp.oaux | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
99 # First shot to define xrefs. |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
100 $(texinputdir) $(TEX) $(srcdir)/elisp.texi |
6558 | 101 if [ a${permuted_index} != a ]; \ |
102 then \ | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
103 $(srcdir)/permute-index; \ |
22014
9c5897743b4f
(elisp.dvi): Add missing backslash.
Richard M. Stallman <rms@gnu.org>
parents:
21913
diff
changeset
|
104 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
|
105 texindex elisp.tp; \ |
6558 | 106 else \ |
21913
e9cc81bc8d9a
(elisp.dvi): Don't depend on texindex or on elisp.tps.
Richard M. Stallman <rms@gnu.org>
parents:
21644
diff
changeset
|
107 texindex elisp.??; \ |
6558 | 108 fi |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
109 $(texinputdir) $(TEX) $(srcdir)/elisp.texi |
6558 | 110 |
111 index.texi: | |
112 if [ a${permuted_index} != a ]; \ | |
113 then \ | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
114 ln -s $(srcdir)/index.perm index.texi || ln $(srcdir)/index.perm index.texi; \ |
6558 | 115 else \ |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
116 ln -s $(srcdir)/index.unperm index.texi || ln $(srcdir)/index.unperm index.texi; \ |
6558 | 117 fi |
118 | |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
119 install: elisp |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
120 $(srcdir)/mkinstalldirs $(infodir) |
14936
ad2ca475c6d6
(elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents:
12317
diff
changeset
|
121 cp elisp elisp-* $(infodir) |
37605
362fea0e7c8b
(install): Use install-info command line options
Gerd Moellmann <gerd@gnu.org>
parents:
26694
diff
changeset
|
122 ${INSTALL_INFO} --info-dir=${infodir} ${infodir}/elisp |
6558 | 123 |
124 installall: install | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
125 install -c $(srcdir)/../man/texinfo.tex $(texmacrodir) |
6558 | 126 |
127 clean: | |
128 rm -f *.toc *.aux *.log *.cp *.cps *.fn *.fns *.tp *.tps \ | |
129 *.vr *.vrs *.pg *.pgs *.ky *.kys | |
130 rm -f make.out core | |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
131 rm -f index.texi |
6558 | 132 |
12317
6236bdeec18d
(VERSION): Update version number.
Richard M. Stallman <rms@gnu.org>
parents:
12112
diff
changeset
|
133 maintainer-clean: clean |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
134 rm -f elisp elisp-* elisp.dvi elisp.oaux |
12112 | 135 |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
136 dist: elisp elisp.dvi |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
137 -rm -rf temp |
6558 | 138 -mkdir temp |
139 -mkdir temp/$(manual) | |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
140 -ln $(srcdir)/README $(srcdir)/configure.in $(srcdir)/configure \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
141 $(srcdir)/Makefile.in $(srcdir)/permute-index $(srcs) \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
142 $(srcdir)/../man/texinfo.tex \ |
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
143 elisp.dvi elisp.aux elisp.??s elisp elisp-[0-9] elisp-[0-9][0-9] \ |
23150 | 144 temp/$(manual) |
21644
dd9d371a4489
(elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents:
16703
diff
changeset
|
145 -(cd temp/$(manual); rm -f mkinstalldirs) |
39111
c10fdb82dffd
(srcdir, texinputdir): New variables.
Gerd Moellmann <gerd@gnu.org>
parents:
37605
diff
changeset
|
146 cp $(srcdir)/mkinstalldirs temp/$(manual) |
6558 | 147 (cd temp/$(manual); rm -f *~) |
148 (cd temp; tar chf - $(manual)) | gzip > $(manual).tar.gz | |
149 -rm -rf temp |