annotate doc/lispref/two-volume.make @ 101179:84cbdd182a6d

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