annotate etc/emacs.icon @ 69478:e8bb5df2ba7a

Add index entries around each paragraph rather than depend on entries from beginning of node. Doing so ensures that index entries are less likely to be forgotten if text is cut and pasted, and are necessary anyway if the references are on a separate page. It seems that makeinfo is now (v. 4.8) only producing one index entry per node, so there is no longer any excuse not to. Use subheading instead of heading. The incorrect use of heading produced very large fonts in Info--as large as the main heading. (From Bill Wohler): MH-E never did appear in Emacs 21--MH-E versions 6 and 7 appeared *around* the time of these Emacs releases.
author Bill Wohler <wohler@newt.com>
date Wed, 15 Mar 2006 00:26:12 +0000
parents e96ffe544684
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25853
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* Format_version=1, Width=64, Height=64, Depth=1, Valid_bits_per_item=16
Dave Love <fx@gnu.org>
parents:
diff changeset
2 */
Dave Love <fx@gnu.org>
parents:
diff changeset
3 0xFFFF,0xFFFF,0xFFFF,0xFFFF,0x8000,0x0000,0x0000,0x0001,
Dave Love <fx@gnu.org>
parents:
diff changeset
4 0x8000,0x0000,0x007E,0x1C01,0x8000,0x0000,0x0006,0x1C01,
Dave Love <fx@gnu.org>
parents:
diff changeset
5 0x8000,0x0000,0x007F,0xFC01,0x8000,0x0000,0x0080,0x1C01,
Dave Love <fx@gnu.org>
parents:
diff changeset
6 0x8000,0x0000,0x013F,0xFC01,0x8000,0x0000,0x0140,0x1C01,
Dave Love <fx@gnu.org>
parents:
diff changeset
7 0x8000,0x0000,0x03E0,0x1C01,0x8000,0x0000,0x0000,0x1C01,
Dave Love <fx@gnu.org>
parents:
diff changeset
8 0x8000,0x0000,0x0000,0x1C01,0x8000,0x0000,0x0000,0x1C01,
Dave Love <fx@gnu.org>
parents:
diff changeset
9 0x8000,0x0000,0x0000,0x1C01,0x8000,0x0000,0x0210,0x1C01,
Dave Love <fx@gnu.org>
parents:
diff changeset
10 0x8000,0x0000,0x0330,0x1C01,0x8000,0x0000,0x00C0,0x1C01,
Dave Love <fx@gnu.org>
parents:
diff changeset
11 0x8003,0xFFFF,0xFFFF,0xFE01,0x8005,0xFFFF,0xFFFF,0xFE01,
Dave Love <fx@gnu.org>
parents:
diff changeset
12 0x8004,0xFFFF,0xFFFF,0xFC01,0x8004,0x787F,0xFFFF,0xF801,
Dave Love <fx@gnu.org>
parents:
diff changeset
13 0x8004,0x77FF,0xFFFF,0xF801,0x8000,0x77E3,0x6FFF,0xF801,
Dave Love <fx@gnu.org>
parents:
diff changeset
14 0x8000,0x762D,0x6FFF,0xF801,0x8004,0x77AD,0x6FFF,0xF801,
Dave Love <fx@gnu.org>
parents:
diff changeset
15 0x800C,0x77AD,0x6FFF,0xF801,0x8004,0x786D,0x8FFF,0xF801,
Dave Love <fx@gnu.org>
parents:
diff changeset
16 0x8000,0x7FFF,0xFFFF,0xF801,0x8000,0x7FFF,0xFFFF,0xF801,
Dave Love <fx@gnu.org>
parents:
diff changeset
17 0x8000,0x7E0F,0xFFFF,0xF801,0x8008,0x7EFF,0xFFFF,0xF801,
Dave Love <fx@gnu.org>
parents:
diff changeset
18 0x800C,0x7EF9,0x31CE,0x3801,0x8004,0x7E1A,0xADB5,0xF801,
Dave Love <fx@gnu.org>
parents:
diff changeset
19 0x8000,0x7EFA,0xADBE,0x7801,0x8000,0x7EFB,0xADB7,0xB801,
Dave Love <fx@gnu.org>
parents:
diff changeset
20 0x8000,0x7E0B,0xB2CC,0x7801,0x8000,0x7FFF,0xFFFF,0xF801,
Dave Love <fx@gnu.org>
parents:
diff changeset
21 0x8004,0x3FFF,0xFFFF,0xF001,0x8004,0x1FFF,0xFFFF,0xE001,
Dave Love <fx@gnu.org>
parents:
diff changeset
22 0x800C,0x0003,0x6000,0x0001,0x8000,0x0001,0x43C0,0x0001,
Dave Love <fx@gnu.org>
parents:
diff changeset
23 0x8000,0x0001,0x4420,0x0001,0x8000,0x0001,0x4990,0x0001,
Dave Love <fx@gnu.org>
parents:
diff changeset
24 0x8000,0x0001,0x4A50,0x0001,0x8004,0x0001,0x3250,0x0001,
Dave Love <fx@gnu.org>
parents:
diff changeset
25 0x8004,0x0000,0x8450,0x0001,0x800A,0x0000,0x7850,0x0001,
Dave Love <fx@gnu.org>
parents:
diff changeset
26 0x8000,0x0000,0x0050,0x0001,0xFFFF,0xFFFF,0xFFFF,0xFFFF,
Dave Love <fx@gnu.org>
parents:
diff changeset
27 0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,
Dave Love <fx@gnu.org>
parents:
diff changeset
28 0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,
Dave Love <fx@gnu.org>
parents:
diff changeset
29 0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,
Dave Love <fx@gnu.org>
parents:
diff changeset
30 0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,
Dave Love <fx@gnu.org>
parents:
diff changeset
31 0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,
Dave Love <fx@gnu.org>
parents:
diff changeset
32 0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,
Dave Love <fx@gnu.org>
parents:
diff changeset
33 0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,
Dave Love <fx@gnu.org>
parents:
diff changeset
34 0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000,0x0000