annotate lispref/Makefile.in @ 36150:46e59561af4c

Display Vars node renamed Display Custom. Include info there about customizing cursor appearance. Clean up aggressive scrolling. Clarify horizontal scrolling discussion. Fix index entries for line number mode.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Feb 2001 16:45:37 +0000
parents dbf1e3aaa767
children 362fea0e7c8b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 # Makefile for the GNU Emacs Lisp Reference Manual.
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 #
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 # 11 August 1990
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 # Redefine `TEX' if `tex' does not invoke plain TeX. For example:
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 # TEX=platex
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 TEX=tex
14936
ad2ca475c6d6 (elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents: 12317
diff changeset
9 MAKE=make
21644
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
10 SHELL=/bin/sh
22456
b7bf9b05f494 (INSTALL_INFO): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 22014
diff changeset
11 INSTALL_INFO = install-info
26694
dbf1e3aaa767 (MAKEINFO): New parameter.
Dave Love <fx@gnu.org>
parents: 25750
diff changeset
12 MAKEINFO=makeinfo
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 # Where the TeX macros are kept:
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 texmacrodir = /usr/local/lib/tex/macros
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16
23150
d2f7ed631ea7 Renamed from Makefile.
Karl Heuer <kwzh@gnu.org>
parents: 22456
diff changeset
17 # Standard configure variables.
d2f7ed631ea7 Renamed from Makefile.
Karl Heuer <kwzh@gnu.org>
parents: 22456
diff changeset
18 prefix = @prefix@
d2f7ed631ea7 Renamed from Makefile.
Karl Heuer <kwzh@gnu.org>
parents: 22456
diff changeset
19 infodir = @infodir@
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 # The name of the manual:
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22
25750
f1968a807f56 (srcs): Add hash.texi.
Richard M. Stallman <rms@gnu.org>
parents: 25700
diff changeset
23 VERSION=2.6
21644
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
24 manual = elisp-manual-20-$(VERSION)
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 # Uncomment this line for permuted index.
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 # permuted_index = 1
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 # List of all the texinfo files in the manual:
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 srcs = elisp.texi back.texi \
21644
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
32 abbrevs.texi advice.texi anti.texi backups.texi locals.texi buffers.texi \
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
33 calendar.texi commands.texi compile.texi control.texi customize.texi \
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
34 debugging.texi display.texi edebug.texi errors.texi eval.texi files.texi \
25750
f1968a807f56 (srcs): Add hash.texi.
Richard M. Stallman <rms@gnu.org>
parents: 25700
diff changeset
35 frames.texi functions.texi hash.texi help.texi hooks.texi \
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 internals.texi intro.texi keymaps.texi lists.texi \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 loading.texi macros.texi maps.texi markers.texi \
21644
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
38 minibuf.texi modes.texi nonascii.texi numbers.texi objects.texi \
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 os.texi positions.texi processes.texi searching.texi \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 sequences.texi streams.texi strings.texi symbols.texi \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 syntax.texi text.texi tips.texi variables.texi \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 windows.texi \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 index.unperm index.perm
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 .PHONY: elisp.dvi clean
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46
14936
ad2ca475c6d6 (elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents: 12317
diff changeset
47 # The info file is named `elisp'.
ad2ca475c6d6 (elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents: 12317
diff changeset
48
21644
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
49 elisp: $(srcs) index.texi
14936
ad2ca475c6d6 (elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents: 12317
diff changeset
50 rm -f elisp-*
26694
dbf1e3aaa767 (MAKEINFO): New parameter.
Dave Love <fx@gnu.org>
parents: 25750
diff changeset
51 $(MAKEINFO) elisp.texi
14936
ad2ca475c6d6 (elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents: 12317
diff changeset
52
21913
e9cc81bc8d9a (elisp.dvi): Don't depend on texindex or on elisp.tps.
Richard M. Stallman <rms@gnu.org>
parents: 21644
diff changeset
53 elisp.dvi: $(srcs) index.texi
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 # Avoid losing old contents of aux file entirely.
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 -mv elisp.aux elisp.oaux
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 # First shot to define xrefs:
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 $(TEX) elisp.texi
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 if [ a${permuted_index} != a ]; \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 then \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ./permute-index; \
22014
9c5897743b4f (elisp.dvi): Add missing backslash.
Richard M. Stallman <rms@gnu.org>
parents: 21913
diff changeset
61 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
62 texindex elisp.tp; \
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 else \
21913
e9cc81bc8d9a (elisp.dvi): Don't depend on texindex or on elisp.tps.
Richard M. Stallman <rms@gnu.org>
parents: 21644
diff changeset
64 texindex elisp.??; \
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 fi
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 $(TEX) elisp.texi
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 index.texi:
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 if [ a${permuted_index} != a ]; \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 then \
25700
fed6ebbe8644 (index.texi): If cannot make a symlink, make a hard link.
Richard M. Stallman <rms@gnu.org>
parents: 23150
diff changeset
71 ln -s index.perm index.texi || ln index.perm index.texi; \
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 else \
25700
fed6ebbe8644 (index.texi): If cannot make a symlink, make a hard link.
Richard M. Stallman <rms@gnu.org>
parents: 23150
diff changeset
73 ln -s index.unperm index.texi || ln index.unperm index.texi; \
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 fi
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75
14936
ad2ca475c6d6 (elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents: 12317
diff changeset
76 install: elisp
ad2ca475c6d6 (elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents: 12317
diff changeset
77 ./mkinstalldirs $(infodir)
ad2ca475c6d6 (elisp): Make this be the default target.
Karl Heuer <kwzh@gnu.org>
parents: 12317
diff changeset
78 cp elisp elisp-* $(infodir)
22456
b7bf9b05f494 (INSTALL_INFO): New variable.
Richard M. Stallman <rms@gnu.org>
parents: 22014
diff changeset
79 ${INSTALL_INFO} --dir-file=${infodir}/dir --info-file=${infodir}/elisp
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 installall: install
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 install -c texinfo.tex $(texmacrodir)
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 clean:
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 rm -f *.toc *.aux *.log *.cp *.cps *.fn *.fns *.tp *.tps \
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 *.vr *.vrs *.pg *.pgs *.ky *.kys
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 rm -f make.out core
21644
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
88 rm -f index.texi
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89
12317
6236bdeec18d (VERSION): Update version number.
Richard M. Stallman <rms@gnu.org>
parents: 12112
diff changeset
90 maintainer-clean: clean
12112
841aa5ac0f46 (realclean): New target.
Karl Heuer <kwzh@gnu.org>
parents: 7543
diff changeset
91 rm -f elisp elisp-*
841aa5ac0f46 (realclean): New target.
Karl Heuer <kwzh@gnu.org>
parents: 7543
diff changeset
92
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 dist:
21644
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
94 -rm -rf temp
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 -mkdir temp
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 -mkdir temp/$(manual)
23150
d2f7ed631ea7 Renamed from Makefile.
Karl Heuer <kwzh@gnu.org>
parents: 22456
diff changeset
97 -ln README configure.in configure Makefile.in permute-index $(srcs) \
d2f7ed631ea7 Renamed from Makefile.
Karl Heuer <kwzh@gnu.org>
parents: 22456
diff changeset
98 texinfo.tex elisp.dvi elisp.aux elisp.??s elisp elisp-[0-9] elisp-[0-9][0-9] \
d2f7ed631ea7 Renamed from Makefile.
Karl Heuer <kwzh@gnu.org>
parents: 22456
diff changeset
99 temp/$(manual)
21644
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
100 -(cd temp/$(manual); rm -f mkinstalldirs)
dd9d371a4489 (elisp): Don't try to make makeinfo.
Richard M. Stallman <rms@gnu.org>
parents: 16703
diff changeset
101 cp mkinstalldirs temp/$(manual)
6558
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 (cd temp/$(manual); rm -f *~)
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 (cd temp; tar chf - $(manual)) | gzip > $(manual).tar.gz
fa8ff07eaafc Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 -rm -rf temp