annotate lispref/two-volume-cross-refs.txt @ 43183:0665cd668d8b

*** empty log message ***
author Eli Zaretskii <eliz@gnu.org>
date Fri, 08 Feb 2002 12:01:14 +0000
parents bdecbfc5cb92
children 23a1cea22d13
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 Two Volume Cross References
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 ===========================
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 18 March 1992
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 This enables you to create manuals in *two* volumes, with tables of
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 contents, cross references, and indices in each volume referring to
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 *both* volumes.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 The procedure is tedious. However, the resulting two volumes are
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 conveniently organized. Each has an index of the whole two volumes.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12 Each volume starts with page 1. (I don't like multi-volume works
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13 where each volume starts with a higher page number since I find it
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
14 harder to go to the right place in the volume.)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
15
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
16 References to the same volume are just the page number; references to
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
17 the other volume are a volumne number (in Roman numerals) preceding
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
18 the page number.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
19
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 For example, in Volume I:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
21
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
22 list length ......... 90
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
23 list motion ......II:117
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
24
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
25 and in Volume II:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
26
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
27 list length ....... I:90
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
28 list motion .........117
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
29
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
30 All other references and the table of contents work the same way. I
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
31 find this *very* helpful.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
32
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
33
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
34 In brief: you run tex on a .texi file with
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
35
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
36 a. redefined @contents and @summarycontents inputting elisp-toc-2vol.toc file
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
37 b. redone .aux file
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
38 c. redone .fns file
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
39
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
40
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
41 Here are the steps in detail:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
42
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
43 % tex vol1.texi
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
44 % texindex vol1.??
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
45 % tex vol1.texi
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
46
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
47 % tex vol2.texi
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
48 % texindex vol2.??
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
49 % tex vol2.texi
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
50
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
51 ### Create .aux files with volume numbers for other volume.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
52
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
53 % cp vol1.aux elisp1-aux
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
54 % cp vol2.aux elisp2-aux
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
55
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
56 % cp vol1.aux elisp1-aux-vol-number-added
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
57 % cp vol2.aux elisp2-aux-vol-number-added
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
58
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
59 on elisp1-aux-vol-number-added
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
60 (volume-aux-markup 1) see defun for volum-aux-markup below.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
61 to create elisp1-aux-vol-number-added
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
62
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
63 on elisp2-aux-vol-number-added
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
64 (volume-aux-markup 2)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
65 to create elisp2-aux-vol-number-added
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
66
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
67 insert elisp2-aux-vol-number-added into vol1.aux (append)
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
68 insert elisp1-aux-vol-number-added into vol2.aux (prepend)
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
69
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
70 (so you dont have to do it again)
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
71 % cp vol1.aux elisp1-aux-2vol-ready
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
72 % cp vol2.aux elisp2-aux-2vol-ready
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
73
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
74
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
75 ### Create .fn files with volume numbers for other volume.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
76
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
77 % cp vol1.fn elisp1-fn
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
78 % cp vol2.fn elisp2-fn
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
79
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
80 % cp vol1.fn elisp1-fn-vol-number-added
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
81 % cp vol2.fn elisp2-fn-vol-number-added
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
82
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
83 on elisp1-fn-vol-number-added
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
84 (volume-index-markup "I")
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
85 to create elisp1-fn-vol-number-added
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
86
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
87 on elisp2-fn-vol-number-added
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
88 (volume-index-markup "II")
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
89 to create elisp2-fn-vol-number-added
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
90
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
91 insert elisp2-fn-vol-number-added into vol1.fn: do following `cat'
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
92 insert elisp1-fn-vol-number-added into vol2.fn: do following `cat'
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
93
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
94 % cat elisp2-fn-vol-number-added >> vol1.fn
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
95 % cat elisp1-fn-vol-number-added >> vol2.fn
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
96
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
97 Be sure to handle special case entries by hand.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
98 Be sure that .fn file has no blank lines.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
99
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
100 % texindex vol1.fn
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
101 % texindex vol2.fn
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
102
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
103 (so you dont have to do it again)
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
104 % cp vol1.fns elisp1-fns-2vol-ready
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
105 % cp vol2.fns elisp2-fns-2vol-ready
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
106
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
107 ### Create merged .toc file with volume number headings.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
108
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
109 append vol2.toc to vol1.toc with following `cat'
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
110
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
111 % cat vol1.toc vol2.toc > elisp-toc-2vol.toc
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
112
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
113 and edit in Volume titles
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
114
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
115 \unnumbchapentry {Volume 1}{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
116 \unnumbchapentry {}{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
117
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
118 \unnumbchapentry {Index}{295}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
119 \unnumbchapentry {}{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
120 \unnumbchapentry {Volume 2}{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
121 \unnumbchapentry {}{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
122
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
123 If you want to put in volume numbers for TOC, then do this:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
124 Create volume specific .toc files with volume numbers in them.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
125
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
126 % cp elisp-toc-2vol.toc elisp1-toc.toc
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
127 % cp elisp-toc-2vol.toc elisp2-toc.toc
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
128
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
129 Use keyboard macro to put I: in first half of elisp1-toc.toc and
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
130 II: in first half of elisp2-toc.toc
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
131
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
132 Copy the tocs to something you can remember more easily
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
133
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
134 % cp elisp2-toc.toc elisp1-toc-ready.toc
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
135 % cp elisp1-toc.toc elisp2-toc-ready.toc
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
136
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
137 Then, edit vol1.texi to input elisp1-toc-ready.toc
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
138 and vol2.texi to input elisp2-toc-ready.toc
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
139
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
140
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
141 ### Now format the two volumes:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
142
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
143 % cp elisp1-aux-2vol-ready vol1.aux
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
144 % cp elisp2-aux-2vol-ready vol2.aux
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
145
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
146 % tex vol1.texi
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
147 % tex vol2.texi
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
148
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
149
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
150
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
151 For every additional run:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
152
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
153 ### recopy aux files so the correct ones are read:
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
154 % cp elisp1-aux-2vol-ready vol1.aux
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
155 % cp elisp2-aux-2vol-ready vol2.aux
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
156
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
157 Do not run texindex. Then proper sorted index will stay.
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
158 else do: % cp elisp2-fns-2vol-ready vol2.fns
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
159
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
160 Do not change the .texi files; they will call the elisp-toc-2vol.toc file.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
161
41199
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
162 % tex vol1.texi
bdecbfc5cb92 Replace elisp-vol? with vol?, per renamed files.
Eli Zaretskii <eliz@gnu.org>
parents: 41193
diff changeset
163 % tex vol2.texi
41193
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
164
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
165 ================================================================
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
166
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
167 @c ================================================================
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
168 @tex
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
169 % Special @contents command
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
170 % This inputs fixed up table of contents file rather than create new one.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
171 \global\def\contents{%
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
172 \startcontents{Table of Contents}%
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
173 \input elisp-toc-2vol.toc
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
174 \endgroup
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
175 \vfill \eject
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
176 }
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
177
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
178 % Special @summarycontents command
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
179 % This inputs fixed up table of contents file rather than create new one.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
180 \outer\def\summarycontents{%
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
181 \startcontents{Short Contents}%
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
182 %
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
183 \let\chapentry = \shortchapentry
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
184 \let\unnumbchapentry = \shortunnumberedentry
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
185 % We want a true roman here for the page numbers.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
186 \secfonts
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
187 \let\rm=\shortcontrm \let\bf=\shortcontbf \let\sl=\shortcontsl
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
188 \rm
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
189 \advance\baselineskip by 1pt % Open it up a little.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
190 \def\secentry ##1##2##3##4{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
191 \def\unnumbsecentry ##1##2{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
192 \def\subsecentry ##1##2##3##4##5{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
193 \def\unnumbsubsecentry ##1##2{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
194 \def\subsubsecentry ##1##2##3##4##5##6{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
195 \def\unnumbsubsubsecentry ##1##2{}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
196 \input elisp-toc-2vol.toc
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
197 \endgroup
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
198 \vfill \eject
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
199 }
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
200 @end tex
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
201 @c ================================================================
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
202
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
203
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
204 ================================================================
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
205
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
206
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
207 (defun volume-aux-markup (arg)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
208 "Append `vol. NUMBER' to page number.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
209 Apply to aux file that you save.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
210 Then insert marked file into other volume's .aux file."
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
211 (interactive "sType volume number, 1 or 2: " )
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
212 (goto-char (point-min))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
213 (while (search-forward "-pg" nil t)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
214 (end-of-line 1)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
215 (delete-backward-char 1 nil)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
216 (insert ", vol.'tie" arg "}")))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
217
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
218 (defun volume-index-markup (arg)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
219 "Prepend `NUMBER:' to page number. Use Roman Numeral.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
220 Apply only to unsorted index file,
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
221 Then insert marked file into other volume's unsorted index file.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
222 Then run texindex on that file and save."
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
223 (interactive
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
224 "sType volume number, roman number I or II: " )
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
225 (goto-char (point-min))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
226 (while (search-forward "\\entry" nil t)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
227 (search-forward "}{" (save-excursion (end-of-line) (point)) nil)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
228 (insert arg ":")))
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
229
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
230
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
231 ================================================================
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
232
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
233
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
234 The steps:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
235
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
236 1. Run TeX, texindex and TeX on file1.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
237 2. Run TeX, texindex and TeX on file2.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
238
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
239 3. Copy both .aux files into specially named files
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
240
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
241 4. In the case of the elisp ref manual,
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
242
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
243 copy the *unsorted* function index files into specially named files
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
244 (no other index used in elisp ref manual)
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
245
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
246
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
247 5. For aux files:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
248
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
249 Run a function on the specially named .aux files to label each
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
250 entry according to volume. Save these files.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
251
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
252 i.e., convert
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
253 'xrdef {Special-pg}{7} to 'xrdef {Special-pg}{7, vol.'tie1}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
254
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
255 5a.Insert each specially named .aux file into the regular .aux file of
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
256 the other volume.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
257
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
258 6. For index files:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
259
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
260 Run a function on the specially named unsorted index files to label
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
261 each entry according to volume. Save these files.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
262
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
263 6b.Insert each specially named marked unsorted index file into the
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
264 regular unsorted file of the other volume. Run texindex on this
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
265
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
266 7. Insert the other volumes .toc file into the .toc, edit, and rename to
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
267 elisp-toc-2vol.toc
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
268
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
269 7a. insert special @contents and @summarycontents defs into .texi files.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
270
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
271 8. Run TeX on each .texi file.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
272
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
273 ================
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
274
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
275
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
276
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
277 Here is the discursive commentary:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
278
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
279 I've been running some small test files, called test1.texi and
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
280 test2.texi. As far as I can see, if we run tex on the two test files,
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
281 tex creates a .aux for each that includes the names of all the nodes
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
282 in that file. The node names are used for cross references.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
283
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
284 If you insert the .aux file for the second test file, test2.aux, into
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
285 the .aux file for the first test file, test1.aux, then when you next
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
286 run TeX on the first test file, test1.texi, the second volume cross
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
287 references are inserted.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
288
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
289 You can edit the text of the cross reference in test2.aux to include
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
290 the volume number.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
291
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
292 For example, you can take the following two lines from test1.texi and
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
293 insert them into test2.texi:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
294
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
295 'xrdef {Special-pg}{7}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
296 'xrdef {Special-snt}{Section'tie1.6}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
297
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
298 You can re-edit this to show that the page is in volume 1:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
299
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
300 'xrdef {Special-pg}{7, vol.'tie1}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
301 'xrdef {Special-snt}{Section'tie1.6}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
302
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
303 (The 'tie is a TeX special command to keep the number tied on one
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
304 line to the previous word. I don't know if it works after a period in
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
305 the "vol." but figure it is worth trying. {The ' is the @ of .aux files.}
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
306 Apparently 'tie is like the tilde in plain tex; in texinfo.tex, the
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
307 definition for 'tie is the following:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
308
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
309 \def\tie{\penalty 10000\ } % Save plain tex definition of ~.
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
310
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
311 )
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
312
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
313 After running tex on the test2.texi file with the augmented test2.aux
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
314 file, you can see the following in the resulting DVI file:
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
315
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
316 See Section 1.6 [Special], page 7, vol. 1
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
317
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
318 Note that TeX rewrites the .aux file each time TeX is run, so after
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
319 running Tex using an .aux file augmented with the .aux file from the
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
320 other volume, the new .aux file will *lack* the other volumes cross
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
321 references. Save your augmented .aux file in some other name for
1377d461b09c *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
322 another run!