annotate lispref/book-spine.texinfo @ 29739:96e0d508f234

(menu-bar-options-save): New function. (menu-bar-options-menu): Use it. (menu-bar-options-menu) <toggle-global-lazy-font-lock-mode>: Simplify.
author Dave Love <fx@gnu.org>
date Mon, 19 Jun 2000 14:54:10 +0000
parents 2d4db32cccd5
children 695cf19ef79e d7ddb3e565de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
129
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
1 \input texinfo @c -*-texinfo-*-
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
2 @c %**start of header
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
3 @setfilename book-spine
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
4 @settitle book-spine
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
5 @c %**end of header
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
6
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
7 @c need dot in text so first space command works!
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
8 .
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
9 @sp 7
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
10
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
11 @center @titlefont{GNU Emacs Lisp Reference Manual}
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
12 @sp 5
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
13 @center GNU
7734
2d4db32cccd5 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 129
diff changeset
14 @center Emacs Version 19.25
129
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
15 @center for Unix Users
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
16 @sp 5
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
17
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
18 @center by
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
19 @center Bil Lewis,
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
20 @center Dan LaLiberte,
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
21 @center and the
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
22 @center GNU Manual Group
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
23 @sp 5
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
24 @center Free Software Foundation
9e96238c8d27 Initial revision
Robert J. Chassell <bob@rattlesnake.com>
parents:
diff changeset
25 @bye