Mercurial > emacs
annotate lispref/two-volume.make @ 79917:65bec4800891
Sven Joachim <svenjoac at gmx.de>
(kill-buffer-if-not-modified): Don't pass t to buffer-modified-p.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Fri, 25 Jan 2008 04:39:51 +0000 |
parents | a1e16e813aed |
children |
rev | line source |
---|---|
79750 | 1 # Copyright 2007, 2008 Free Software Foundation, Inc. |
78004
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 |