annotate lispref/two-volume.make @ 79502:392f18d2007a

(with-decoded-time-value): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 29 Nov 2007 04:46:34 +0000
parents 63591152f3cb
children a1e16e813aed
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
78004
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
1 # Copyright 2007 Free Software Foundation, Inc.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
2 # See end for copying conditions.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
3
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
4 # although it would be nice to use tex rather than pdftex to avoid
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
5 # colors, spurious warnings about names being referenced but not
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
6 # existing, etc., dvips | ps2pdf doesn't preserve the page size.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
7 # Instead of creating a special dvips config file, put up with the warnings.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
8 tex = pdftex -interaction=nonstopmode
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
9
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
10 all: vol1.pdf vol2.pdf
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
11
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
12 # vol1.texi and vol2.texi specially define \tocreadfilename so we can
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
13 # use our premade .toc's.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
14 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
15 vol1.pdf: elisp1med-fns-ready elisp1med-aux-ready elisp1med-toc-ready
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
16 @echo -e "\f Final TeX run for volume 1..."
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
17 cp elisp1med-toc-ready elisp1-toc-ready.toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
18 cp elisp1med-fns-ready vol1.fns
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
19 cp elisp1med-aux-ready vol1.aux
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
20 $(tex) vol1.texi
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
21 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
22 vol2.pdf: elisp2med-fns-ready elisp2med-aux-ready elisp2med-toc-ready
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
23 @echo "Final TeX run for volume 2..."
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
24 cp elisp2med-toc-ready elisp2-toc-ready.toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
25 cp elisp2med-fns-ready vol2.fns
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
26 cp elisp2med-aux-ready vol2.aux
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
27 $(tex) vol2.texi
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
28
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
29 # intermediate toc files.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
30 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
31 # vol1 toc: volume 1, page break, volume 2 (with II: prepended).
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
32 elisp1med-toc-ready: elisp1med-init elisp2med-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
33 echo '@unnchapentry{@b{Volume 1}}{10001}{vol1}{}' >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
34 cat elisp1med-toc >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
35 echo '@page' >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
36 echo '@unnchapentry{@b{Volume 2}}{10001}{vol2}{}' >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
37 sed 's/{\([^}]*\)}$$/{II:\1}/' elisp2med-toc >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
38 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
39 # vol2 toc: volume 1 (with I: prepended), page break, volume 2.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
40 elisp2med-toc-ready: elisp1med-init elisp2med-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
41 echo '@unnchapentry{@b{Volume 1}}{10001}{vol1}{}' >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
42 sed 's/{\([^}]*\)}$$/{I:\1}/' elisp1med-toc >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
43 echo '@page' >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
44 echo '@unnchapentry{@b{Volume 2}}{10001}{vol2}{}' >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
45 cat elisp2med-toc >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
46
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
47
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
48 # intermediate aux files.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
49 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
50 # append vol2's fixed aux to normal vol1.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
51 elisp1med-aux-ready: elisp2med-aux-vol-added
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
52 cat elisp1med-aux $< >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
53 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
54 # prepend vol1's fixed aux to vol2.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
55 elisp2med-aux-ready: elisp1med-aux-vol-added
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
56 cat $< elisp2med-aux >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
57
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
58 # on -pg entries, append volume number after page number.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
59 elisp1med-aux-vol-added: elisp1med-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
60 sed 's/-pg}{\(.*\)}$$/-pg}{\1, vol.@tie1}/' elisp1med-aux >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
61 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
62 elisp2med-aux-vol-added: elisp2med-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
63 sed 's/-pg}{\(.*\)}$$/-pg}{\1, vol.@tie2}/' elisp2med-aux >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
64
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
65
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
66
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
67 # intermediate index (fns) file.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
68 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
69 elisp1med-fns-ready: elisp1med-fn-vol-added elisp2med-fn-vol-added
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
70 cat elisp2med-fn-vol-added >>vol1.fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
71 texindex vol1.fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
72 cp vol1.fns $@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
73 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
74 elisp2med-fns-ready: elisp1med-fn-vol-added elisp2med-fn-vol-added
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
75 cat elisp1med-fn-vol-added >>vol2.fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
76 texindex vol2.fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
77 cp vol2.fns $@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
78
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
79 # Insert volume number (I: or II:) into index file.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
80 elisp1med-fn-vol-added: elisp1med-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
81 cp vol1.fn elisp1med-fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
82 sed 's/}{/}{I:/' elisp1med-fn >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
83 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
84 elisp2med-fn-vol-added: elisp2med-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
85 cp vol2.fn elisp2med-fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
86 sed 's/}{/}{II:/' elisp2med-fn >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
87
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
88 # -----------------------------------------------------------------------------
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
89 # everything above is essentially a duplicate of everything below. sorry.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
90 # -----------------------------------------------------------------------------
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
91
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
92 # intermediate TeX runs.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
93 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
94 # this generates what would be the final versions -- except the page
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
95 # numbers aren't right. The process of adding the I: and II: changes
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
96 # the page breaks, so a few index entries, at least are wrong. (In
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
97 # 2007, x-meta-keysym in vol.II ended up on page 374 when the index had
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
98 # it on page 375 from the initial run.)
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
99 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
100 # So, we start all over again, from these fns/aux/toc files.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
101 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
102 elisp1med-init: elisp1-fns-ready elisp1-aux-ready elisp1init-toc-ready texinfo.tex
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
103 @echo -e "\f Intermediate TeX run for volume 1..."
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
104 cp elisp1init-toc-ready elisp1-toc-ready.toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
105 cp elisp1-fns-ready vol1.fns
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
106 cp elisp1-aux-ready vol1.aux
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
107 $(tex) vol1.texi
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
108 texindex vol1.??
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
109 mv vol1.aux elisp1med-aux
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
110 mv vol1.toc elisp1med-toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
111 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
112 elisp2med-init: elisp2-fns-ready elisp2-aux-ready elisp2init-toc-ready texinfo.tex
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
113 @echo "Final TeX run for volume 2..."
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
114 cp elisp2init-toc-ready elisp2-toc-ready.toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
115 cp elisp2-fns-ready vol2.fns
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
116 cp elisp2-aux-ready vol2.aux
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
117 $(tex) vol2.texi
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
118 texindex vol2.??
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
119 mv vol2.aux elisp2med-aux
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
120 mv vol2.toc elisp2med-toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
121
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
122
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
123 # initial toc files.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
124 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
125 # vol1 toc: volume 1, page break, volume 2 (with II: prepended).
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
126 elisp1init-toc-ready: elisp1-init elisp2-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
127 echo '@unnchapentry{@b{Volume 1}}{10001}{vol1}{}' >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
128 cat elisp1-toc >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
129 echo '@page' >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
130 echo '@unnchapentry{@b{Volume 2}}{10001}{vol2}{}' >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
131 sed 's/{\([^}]*\)}$$/{II:\1}/' elisp2-toc >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
132 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
133 # vol2 toc: volume 1 (with I: prepended), page break, volume 2.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
134 elisp2init-toc-ready: elisp1-init elisp2-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
135 echo '@unnchapentry{@b{Volume 1}}{10001}{vol1}{}' >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
136 sed 's/{\([^}]*\)}$$/{I:\1}/' elisp1-toc >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
137 echo '@page' >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
138 echo '@unnchapentry{@b{Volume 2}}{10001}{vol2}{}' >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
139 cat elisp2-toc >>$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
140
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
141
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
142 # initial aux files.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
143 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
144 # append vol2's fixed aux to normal vol1. The initial runs saved
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
145 # elisp1-aux and elisp2-aux.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
146 elisp1-aux-ready: elisp2-aux-vol-added
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
147 cat elisp1-aux $< >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
148 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
149 # prepend vol1's fixed aux to vol2.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
150 elisp2-aux-ready: elisp1-aux-vol-added
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
151 cat $< elisp2-aux >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
152
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
153 # on -pg entries, append volume number after page number.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
154 elisp1-aux-vol-added: elisp1-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
155 sed 's/-pg}{\(.*\)}$$/-pg}{\1, vol.@tie1}/' elisp1-aux >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
156 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
157 elisp2-aux-vol-added: elisp2-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
158 sed 's/-pg}{\(.*\)}$$/-pg}{\1, vol.@tie2}/' elisp2-aux >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
159
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
160
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
161 # initial index (fns) file.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
162 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
163 # Append other volume's index entries to this one's.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
164 # Index entries in this volume will then take precedence.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
165 elisp1-fns-ready: elisp1-fn-vol-added elisp2-fn-vol-added
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
166 cat elisp2-fn-vol-added >>vol1.fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
167 texindex vol1.fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
168 cp vol1.fns $@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
169 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
170 elisp2-fns-ready: elisp1-fn-vol-added elisp2-fn-vol-added
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
171 cat elisp1-fn-vol-added >>vol2.fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
172 texindex vol2.fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
173 cp vol2.fns $@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
174
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
175 # Insert volume number (I: or II:) into index file.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
176 elisp1-fn-vol-added: elisp1-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
177 cp vol1.fn elisp1-fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
178 sed 's/}{/}{I:/' elisp1-fn >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
179 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
180 elisp2-fn-vol-added: elisp2-init
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
181 cp vol2.fn elisp2-fn
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
182 sed 's/}{/}{II:/' elisp2-fn >$@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
183
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
184
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
185 # initial TeX runs.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
186 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
187 # We use the .fn, .aux, and .toc files created here in subsequent
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
188 # processing. The page numbers generated here will not be correct yet,
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
189 # but we run texindex and TeX a second time just to get them closer.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
190 # Otherwise it might take even longer for them to converge.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
191 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
192 elisp1-init: vol1.texi
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
193 @echo -e "\f Initial TeX run for volume 1..."
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
194 rm -f vol1.aux vol1.toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
195 $(tex) $<
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
196 texindex vol1.??
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
197 mv vol1.aux elisp1-aux
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
198 mv vol1.toc elisp1-toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
199 touch $@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
200 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
201 elisp2-init: vol2.texi
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
202 @echo "Initial TeX run for volume 2..."
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
203 rm -f vol2.aux vol2.toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
204 $(tex) $<
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
205 texindex vol2.??
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
206 mv vol2.aux elisp2-aux
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
207 mv vol2.toc elisp2-toc
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
208 touch $@
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
209
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
210 # COPYING CONDITIONS
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
211 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
212 # This file is free software; you can redistribute it and/or modify
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
213 # it under the terms of the GNU General Public License as published by
78255
63591152f3cb Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 78008
diff changeset
214 # the Free Software Foundation; either version 3, or (at your option)
78004
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
215 # any later version.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
216 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
217 # This file is distributed in the hope that it will be useful,
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
218 # but WITHOUT ANY WARRANTY; without even the implied warranty of
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
219 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
220 # GNU General Public License for more details.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
221 #
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
222 # You should have received a copy of the GNU General Public License
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
223 # along with this file; see the file COPYING. If not, write to
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
224 # the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
225 # Boston, MA 02110-1301, USA.
919d04a3deda update two-volume material for printing
Karl Berry <karl@gnu.org>
parents:
diff changeset
226
78008
f1e994e8bc4d Changes from arch/CVS synchronization
Miles Bader <miles@gnu.org>
parents: 78004
diff changeset
227 # arch-tag: 5c258a2e-d4a9-4d0e-b279-fb3a6faa27eb