annotate lispref/Makefile.in @ 38324:ce45998cedf2

(define-minor-mode): Use eval-after-load to delay the call to <mode> for global minor modes. (easy-mmode-define-navigation): Only recenter if interactive.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 08 Jul 2001 22:57:29 +0000
parents 362fea0e7c8b
children c10fdb82dffd
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)
37605
362fea0e7c8b (install): Use install-info command line options
Gerd Moellmann <gerd@gnu.org>
parents: 26694
diff changeset
79 ${INSTALL_INFO} --info-dir=${infodir} ${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