annotate doc/lispref/two-volume.make @ 107896:f9390ec51de5

Add 7z archive format support (bug#5475). * arc-mode.el (archive-zip-extract): Try to find 7z executable. (archive-7z-extract): New defcustom. (archive-find-type): Add magic string for 7z. (archive-extract-by-stdout): Add new optional arg `stderr-file'. If `stderr-file' is non-nil, use `(t stderr-file)' for the `buffer' arg of `call-process'. (archive-zip-extract): Check `archive-zip-extract' for "7z" and call the function `archive-7z-extract' with the variable `archive-7z-extract' let-bound to `archive-zip-extract'. (archive-7z-summarize, archive-7z-extract): New functions. * international/mule.el (auto-coding-alist): * files.el (auto-mode-alist): Add 7z file extension.
author Juri Linkov <juri@jurta.org>
date Mon, 19 Apr 2010 02:08:52 +0300
parents 1d1d5d9bd884
children 376148b31b5e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
106815
1d1d5d9bd884 Add 2010 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 103797
diff changeset
1 # Copyright (C) 2007, 2008, 2009, 2010 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.
103797
c377b4a6afd8 (texinfodir): New, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
8 texinfodir=../misc
c377b4a6afd8 (texinfodir): New, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
9
c377b4a6afd8 (texinfodir): New, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
10 tex = TEXINPUTS=".:$(texinfodir):${TEXINPUTS}" pdftex -interaction=nonstopmode
84107
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 all: vol1.pdf vol2.pdf
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 # vol1.texi and vol2.texi specially define \tocreadfilename so we can
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 # use our premade .toc's.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 vol1.pdf: elisp1med-fns-ready elisp1med-aux-ready elisp1med-toc-ready
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 @echo -e "\f Final TeX run for volume 1..."
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 cp elisp1med-toc-ready elisp1-toc-ready.toc
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 cp elisp1med-fns-ready vol1.fns
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 cp elisp1med-aux-ready vol1.aux
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 $(tex) vol1.texi
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 vol2.pdf: elisp2med-fns-ready elisp2med-aux-ready elisp2med-toc-ready
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 @echo "Final TeX run for volume 2..."
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 cp elisp2med-toc-ready elisp2-toc-ready.toc
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 cp elisp2med-fns-ready vol2.fns
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 cp elisp2med-aux-ready vol2.aux
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 $(tex) vol2.texi
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 # intermediate toc files.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 # vol1 toc: volume 1, page break, volume 2 (with II: prepended).
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 elisp1med-toc-ready: elisp1med-init elisp2med-init
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 echo '@unnchapentry{@b{Volume 1}}{10001}{vol1}{}' >$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 cat elisp1med-toc >>$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 echo '@page' >>$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 echo '@unnchapentry{@b{Volume 2}}{10001}{vol2}{}' >>$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 sed 's/{\([^}]*\)}$$/{II:\1}/' elisp2med-toc >>$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 # vol2 toc: volume 1 (with I: prepended), page break, volume 2.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 elisp2med-toc-ready: elisp1med-init elisp2med-init
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 echo '@unnchapentry{@b{Volume 1}}{10001}{vol1}{}' >$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 sed 's/{\([^}]*\)}$$/{I:\1}/' elisp1med-toc >>$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 echo '@page' >>$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 echo '@unnchapentry{@b{Volume 2}}{10001}{vol2}{}' >>$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 cat elisp2med-toc >>$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48
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 # intermediate aux files.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 # append vol2's fixed aux to normal vol1.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 elisp1med-aux-ready: elisp2med-aux-vol-added
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 cat elisp1med-aux $< >$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 # prepend vol1's fixed aux to vol2.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 elisp2med-aux-ready: elisp1med-aux-vol-added
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 cat $< elisp2med-aux >$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 # on -pg entries, append volume number after page number.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 elisp1med-aux-vol-added: elisp1med-init
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 sed 's/-pg}{\(.*\)}$$/-pg}{\1, vol.@tie1}/' elisp1med-aux >$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 elisp2med-aux-vol-added: elisp2med-init
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 sed 's/-pg}{\(.*\)}$$/-pg}{\1, vol.@tie2}/' elisp2med-aux >$@
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 #
103797
c377b4a6afd8 (texinfodir): New, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
102 elisp1med-init: elisp1-fns-ready elisp1-aux-ready elisp1init-toc-ready $(texinfodir)/texinfo.tex
84107
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 #
103797
c377b4a6afd8 (texinfodir): New, with location of texinfo.tex.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
112 elisp2med-init: elisp2-fns-ready elisp2-aux-ready elisp2init-toc-ready $(texinfodir)/texinfo.tex
84107
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 # initial index (fns) file.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 # Append other volume's index entries to this one's.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 # Index entries in this volume will then take precedence.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 elisp1-fns-ready: elisp1-fn-vol-added elisp2-fn-vol-added
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 cat elisp2-fn-vol-added >>vol1.fn
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 texindex vol1.fn
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167 cp vol1.fns $@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169 elisp2-fns-ready: elisp1-fn-vol-added elisp2-fn-vol-added
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 cat elisp1-fn-vol-added >>vol2.fn
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 texindex vol2.fn
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 cp vol2.fns $@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174 # Insert volume number (I: or II:) into index file.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 elisp1-fn-vol-added: elisp1-init
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 cp vol1.fn elisp1-fn
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177 sed 's/}{/}{I:/' elisp1-fn >$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 elisp2-fn-vol-added: elisp2-init
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 cp vol2.fn elisp2-fn
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 sed 's/}{/}{II:/' elisp2-fn >$@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182
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 # initial TeX runs.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 # 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
187 # processing. The page numbers generated here will not be correct yet,
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 # 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
189 # Otherwise it might take even longer for them to converge.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191 elisp1-init: vol1.texi
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192 @echo -e "\f Initial TeX run for volume 1..."
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 rm -f vol1.aux vol1.toc
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 $(tex) $<
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195 texindex vol1.??
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 mv vol1.aux elisp1-aux
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197 mv vol1.toc elisp1-toc
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198 touch $@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 elisp2-init: vol2.texi
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 @echo "Initial TeX run for volume 2..."
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 rm -f vol2.aux vol2.toc
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 $(tex) $<
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 texindex vol2.??
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 mv vol2.aux elisp2-aux
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 mv vol2.toc elisp2-toc
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 touch $@
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 # COPYING CONDITIONS
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210 #
95035
fde6f792a832 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
211 # 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
212 # 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
213 # 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
214 # (at your option) any later version.
84107
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216 # 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
217 # but WITHOUT ANY WARRANTY; without even the implied warranty of
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 # GNU General Public License for more details.
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220 #
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 # 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
222 # 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
223
33a60b73dd16 Move here from ../../lispref
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224 # arch-tag: 5c258a2e-d4a9-4d0e-b279-fb3a6faa27eb