annotate doc/misc/woman.texi @ 109969:d539b74d6530

* textmodes/flyspell.el (flyspell-check-tex-math-command): Doc fix (Bug#5651).
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 24 Aug 2010 16:58:07 -0400
parents a91e94388547
children 5fabe7db5188 376148b31b5e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 \input texinfo @c -*-texinfo-*-
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 @c %**start of header
84329
3d431f1997d8 (setfilename): Go up one more level to ../../info.
Glenn Morris <rgm@gnu.org>
parents: 84325
diff changeset
3 @setfilename ../../info/woman
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 @settitle WoMan: Browse Unix Manual Pages ``W.O. (without) Man''
96452
a9190e1a1d37 American English spelling fix.
Glenn Morris <rgm@gnu.org>
parents: 95937
diff changeset
5 @c FIXME
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 @c Manual last updated:
109274
a91e94388547 Minor doc/misc/*.texi direntry fixes.
Glenn Morris <rgm@gnu.org>
parents: 106881
diff changeset
7 @set UPDATED Time-stamp: <Thu 24-Jun-2010 00:06:54 gm on grasmoor>
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 @c Software version:
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 @set VERSION 0.54 (beta)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 @afourpaper
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 @c With different size paper the printed page breaks will need attention!
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 @c Look for @page and @need commands.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 @setchapternewpage off
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 @paragraphindent 0
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 @c %**end of header
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 @copying
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 This file documents WoMan: A program to browse Unix manual pages `W.O.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 (without) man'.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20
106881
f450b77810be (Bugs): Make "Emacs repository" less specific, and the URL for same
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
21 Copyright @copyright{} 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
f450b77810be (Bugs): Make "Emacs repository" less specific, and the URL for same
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
22 2009, 2010 Free Software Foundation, Inc.
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 @quotation
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 Permission is granted to copy, distribute and/or modify this document
99709
6de181810d0f Relicense all texi files under FDL 1.3 or later.
Glenn Morris <rgm@gnu.org>
parents: 96452
diff changeset
26 under the terms of the GNU Free Documentation License, Version 1.3 or
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 any later version published by the Free Software Foundation; with no
95937
6f0fce2c3559 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
28 Invariant Sections, with the Front-Cover texts being ``A GNU Manual,''
6f0fce2c3559 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
29 and with the Back-Cover Texts as in (a) below. A copy of the license
6f0fce2c3559 Remove references to external license, since doclicense is included.
Glenn Morris <rgm@gnu.org>
parents: 95874
diff changeset
30 is included in the section entitled ``GNU Free Documentation License.''
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31
95874
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
32 (a) The FSF's Back-Cover Text is: ``You have the freedom to copy and
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
33 modify this GNU manual. Buying copies from the FSF supports it in
eafbd7a5c9be Update Back-Cover Text as per maintain.info.
Glenn Morris <rgm@gnu.org>
parents: 87903
diff changeset
34 developing GNU and promoting software freedom.''
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 @end quotation
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 @end copying
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 @dircategory Emacs
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 @direntry
109274
a91e94388547 Minor doc/misc/*.texi direntry fixes.
Glenn Morris <rgm@gnu.org>
parents: 106881
diff changeset
40 * WoMan: (woman). Browse UN*X Manual Pages "W.O. (without) Man".
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 @end direntry
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 @finalout
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 @titlepage
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 @title WoMan
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 @subtitle Browse Unix Manual Pages ``W.O. (without) Man''
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 @subtitle Software Version @value{VERSION}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 @author Francis J. Wright
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 @sp 2
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 @author School of Mathematical Sciences
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 @author Queen Mary and Westfield College
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 @author (University of London)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 @author Mile End Road, London E1 4NS, UK
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 @author @email{F.J.Wright@@qmul.ac.uk}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 @author @uref{http://centaur.maths.qmw.ac.uk/}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 @c He no longer maintains this manual.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 @sp 2
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 @author Manual Last Updated @value{UPDATED}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 @comment The following two commands start the copyright page.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 @page
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 @vskip 0pt plus 1filll
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 @insertcopying
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 @end titlepage
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 @contents
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 @ifnottex
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
72 @node Top, Introduction, (dir), (dir)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 @top WoMan: Browse Unix Manual Pages ``W.O. (without) Man''
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 @display
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 Software Version @value{VERSION}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 Manual Last Updated @value{UPDATED}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 @email{F.J.Wright@@qmw.ac.uk, Francis J. Wright}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 @uref{http://centaur.maths.qmw.ac.uk/, School of Mathematical Sciences}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 Queen Mary and Westfield College (University of London)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 Mile End Road, London E1 4NS, UK
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 @end display
102059
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
85
9bcea07061a8 consistently use @insertcopying, @direntry, @contents
Karl Berry <karl@gnu.org>
parents: 100974
diff changeset
86 @insertcopying
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 @end ifnottex
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
89 @menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
90 * Introduction:: Introduction
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
91 * Background:: Background
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
92 * Finding:: Finding and Formatting Man Pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
93 * Browsing:: Browsing Man Pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
94 * Customization:: Customization
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
95 * Log:: The *WoMan-Log* Buffer
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
96 * Technical:: Technical Details
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
97 * Bugs:: Reporting Bugs
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
98 * Acknowledgements:: Acknowledgements
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
99 * GNU Free Documentation License:: The license for this documentation.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
100 * Command Index:: Command Index
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
101 * Variable Index:: Variable Index
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
102 * Keystroke Index:: Keystroke Index
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
103 * Concept Index:: Concept Index
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
104 @end menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
105
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
106 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
107
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
108 @node Introduction, Background, Top, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
109 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
110 @chapter Introduction
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
111 @cindex introduction
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
112
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
113 This version of WoMan should run with GNU Emacs 20.3 or later on any
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
114 platform. It has not been tested, and may not run, with any other
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
115 version of Emacs. It was developed primarily on various versions of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
116 Microsoft Windows, but has also been tested on MS-DOS, and various
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
117 versions of UNIX and GNU/Linux.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
118
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
119 WoMan is distributed with GNU Emacs. In addition, the current source
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
120 code and documentation files are available from
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
121 @uref{http://centaur.maths.qmw.ac.uk/Emacs/WoMan/, the WoMan web
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
122 server}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
123
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
124 WoMan implements a subset of the formatting performed by the Emacs
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
125 @code{man} (or @code{manual-entry}) command to format a Unix-style
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
126 @dfn{manual page} (usually abbreviated to @dfn{man page}) for display,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
127 but without calling any external programs. It is intended to emulate
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
128 the whole of the @code{roff -man} macro package, plus those @code{roff}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
129 requests (@pxref{Background, , Background}) that are most commonly used
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
130 in man pages. However, the emulation is modified to include the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
131 reformatting done by the Emacs @code{man} command. No hyphenation is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
132 performed.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
133
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
134 @table @b
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
135 @item Advantages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
136 Much more direct, does not require any external programs. Supports
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
137 completion on man page names.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
138 @item Disadvantages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
139 Not a complete emulation. Currently no support for @code{eqn} or
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
140 @code{tbl}. Slightly slower for large man pages (but usually faster for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
141 small- and medium-size pages).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
142 @end table
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
143
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
144 This browser works quite well on simple well-written man files. It
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
145 works less well on idiosyncratic files that ``break the rules'' or use
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
146 the more obscure @code{roff} requests directly. Current test results
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
147 are available in the file
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
148 @uref{http://centaur.maths.qmw.ac.uk/Emacs/WoMan/files/woman.status,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
149 @file{woman.status}}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
150
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
151 WoMan supports the use of compressed man files via
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
152 @code{auto-compression-mode} by turning it on if necessary. But you may
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
153 need to adjust the user option @code{woman-file-compression-regexp}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
154 @xref{Interface Options, , Interface Options}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
155
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
156 Brief help on the WoMan interactive commands and user options, all of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
157 which begin with the prefix @code{woman-} (or occasionally
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
158 @code{WoMan-}), is available most easily by loading WoMan and then
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
159 either running the command @code{woman-mini-help} or selecting the WoMan
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
160 menu option @samp{Mini Help}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
161
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
162 WoMan is (of course) still under development! Please
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
163 @email{F.J.Wright@@qmw.ac.uk, let me know} what doesn't work---I am
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
164 adding and improving functionality as testing shows that it is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
165 necessary. Guidance on reporting bugs is given below. @xref{Bugs, ,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
166 Reporting Bugs}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
167
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
168 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
169
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
170 @node Background, Finding, Introduction, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
171 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
172 @chapter Background
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
173 @cindex background
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
174
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
175 WoMan is a browser for traditional Unix-style manual page documentation.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
176 Each such document is conventionally referred to as a @dfn{manual page},
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
177 or @dfn{man page} for short, even though some are very much longer than
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
178 one page. A man page is a document written using the Unix ``man''
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
179 macros, which are themselves written in the nroff/troff text processing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
180 markup language. @code{nroff} and @code{troff} are text processors
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
181 originally written for the UNIX operating system by Joseph F. Ossanna at
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
182 Bell Laboratories, Murray Hill, New Jersey, USA@. They are closely
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
183 related, and except in the few cases where the distinction between them
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
184 is important I will refer to them both ambiguously as @code{roff}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
185
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
186 @code{roff} markup consists of @dfn{requests} and @dfn{escape
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
187 sequences}. A request occupies a complete line and begins with either a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
188 period or a single forward quote. An escape sequences is embedded
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
189 within the input text and begins (by default) with a backslash. The
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
190 original man macro package defines 20 new @code{roff} requests
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
191 implemented as macros, which were considered to be sufficient for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
192 writing man pages. But whilst in principle man pages use only the man
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
193 macros, in practice a significant number use many other @code{roff}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
194 requests.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
195
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
196 The distinction between @code{troff} and @code{nroff} is that
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
197 @code{troff} was designed to drive a phototypesetter whereas
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
198 @code{nroff} was designed to produce essentially @acronym{ASCII} output for a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
199 character-based device similar to a teletypewriter (usually abbreviated
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
200 to ``teletype'' or ``tty''). Hence, @code{troff} supports much finer
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
201 control over output positioning than does @code{nroff} and can be seen
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
202 as a forerunner of @TeX{}. Traditionally, man pages are either
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
203 formatted by @code{troff} for typesetting or by @code{nroff} for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
204 printing on a character printer or displaying on a screen. Of course,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
205 over the last 25 years or so, the distinction between typeset output on
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
206 paper and characters on a screen has become blurred by the fact that
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
207 most screens now support bit-mapped displays, so that any information
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
208 that can be printed can also be rendered on screen, the only difference
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
209 being the resolution.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
210
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
211 Nevertheless, Unix-style manual page documentation is still normally
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
212 browsed on screen by running a program called @code{man}. This program
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
213 looks in a predefined set of directories for the man page matching a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
214 specified topic, then either formats the source file by running
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
215 @code{nroff} or recovers a pre-formatted file, and displays it via a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
216 pager such as @code{more}. @code{nroff} normally formats for a printer,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
217 so it paginates the output, numbers the pages, etc., most of which is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
218 irrelevant when the document is browsed as a continuous scrollable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
219 document on screen. The only concession to on-screen browsing normally
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
220 implemented by the @code{man} program is to squeeze consecutive blank
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
221 lines into a single blank line.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
222
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
223 For some time, Emacs has offered an improved interface for browsing man
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
224 pages in the form of the Emacs @code{man} (or @code{manual-entry})
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
225 command, see @ref{Documentation, man, Documentation Commands, emacs, GNU
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
226 Emacs Manual}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
227 This command runs @code{man} as described above, perhaps in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
228 the background, and then post-processes the output to remove much of the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
229 @code{nroff} pagination such as page headers and footers, and places the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
230 result into an Emacs buffer. It puts this buffer into a special major
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
231 mode, which is tailored for man page browsing, and provides a number of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
232 useful navigation commands, support for following references, etc. It
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
233 provides some support for special display faces (fonts), but no special
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
234 menu or mouse support. The Emacs man package appears to have been
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
235 developed over about 10 years, from the late 1980s to the late 1990s.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
236
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
237 There is considerable inefficiency in having @code{nroff} paginate a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
238 document and then removing most of the pagination!
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
239
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
240 WoMan is an Emacs Lisp library that provides an emulation of the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
241 functionality of the Emacs @code{man} command, the main difference being
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
242 that WoMan does not use any external programs. The only situation in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
243 which WoMan might use an external program is when the source file is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
244 compressed, when WoMan will use the standard Emacs automatic
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
245 decompression facility, which does call an external program.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
246
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
247 I began developing WoMan in the Spring of 1997 and the first version was
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
248 released in May 1997. The original motivation for WoMan was the fact
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
249 that many GNU and Unix programs are ported to other platforms and come
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
250 with Unix-style manual page documentation. This may be difficult to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
251 read because ports of the Unix-style @code{man} program can be a little
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
252 awkward to set up. I decided that it should not be too hard to emulate
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
253 the 20 @code{man} macros directly, without treating them as macros and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
254 largely ignoring the underlying @code{roff} requests, given the text
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
255 processing capabilities of Emacs. This proved to be essentially true,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
256 and it did not take a great deal of work to be able to format simple man
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
257 pages acceptably.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
258
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
259 One problem arose with the significant number of man pages that use
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
260 @code{roff} requests in addition to the @code{man} macros, and since
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
261 releasing the first version of WoMan I have been continually extending
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
262 it to support more @code{roff} requests. WoMan can now format a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
263 significant proportion of the man pages that I have tested, either well
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
264 or at least readably. However, I have added capabilities partly by
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
265 making additional passes through the document, a design that is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
266 fundamentally flawed. This can only be solved by a major re-design of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
267 WoMan to handle the major formatting within a single recursive pass,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
268 rather than the present multiple passes without any significant
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
269 recursion. There are some @code{roff} requests that cannot be handled
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
270 satisfactorily within the present design. Some of these are currently
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
271 handled by kludges that ``usually more or less work.''
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
272
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
273 The principle advantage of WoMan is that it does not require @code{man},
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
274 and indeed the name WoMan is a contraction of ``without man.'' But it
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
275 has other advantages. It does not paginate the document, so it does not
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
276 need to un-paginate it again, thereby saving time. It could take full
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
277 advantage of the display capabilities available to it, and I hope to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
278 develop WoMan to take advantage of developments in Emacs itself. At
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
279 present, WoMan uses several display faces to support bold and italic
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
280 text, to indicate other fonts, etc. The default faces are also
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
281 colored, but the choice of faces is customizable. WoMan provides menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
282 support for navigation and mouse support for following references, in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
283 addition to the navigation facilities provided by @code{man} mode.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
284 WoMan has (this) texinfo documentation!
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
285
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
286 WoMan @emph{does not} replace @code{man}, although it does use a number
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
287 of the facilities implemented in the Emacs @code{man} library. WoMan
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
288 and man can happily co-exist, which is very useful for comparison and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
289 debugging purposes.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
290
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
291 @code{nroff} simulates non-@acronym{ASCII} characters by using one or more
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
292 @acronym{ASCII} characters. WoMan should be able to do much better than
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
293 this. I have recently begun to add support for WoMan to use more of the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
294 characters in its default font and to use a symbol font, and it is an
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
295 aspect that I intend to develop further in the near future. It should
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
296 be possible to move WoMan from an emulation of @code{nroff} to an
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
297 emulation of @code{troff} as GNU Emacs moves to providing bit-mapped
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
298 display facilities.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
299
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
300 @node Finding, Browsing, Background, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
301 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
302 @chapter Finding and Formatting Man Pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
303 @cindex using, finding man pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
304 @cindex using, formatting man pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
305 @cindex finding man pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
306 @cindex formatting man pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
307 @cindex man pages, finding
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
308 @cindex man pages, formatting
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
309
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
310 WoMan provides three user interfaces for finding and formatting man pages:
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
311
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
312 @itemize @bullet
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
313 @item
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
314 a topic interface similar to that provided by the standard Emacs
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
315 @code{man} command;
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
316
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
317 @item
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
318 a family of filename interfaces analogous to the standard Emacs
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
319 @code{view-file} command;
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
320
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
321 @item
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
322 an automatic interface that detects the file type from its contents.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
323 (This is currently neither well tested, well supported nor recommended!)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
324 @end itemize
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
326 The topic and filename interfaces support completion in the usual way.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
327
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
328 The topic interface is generally the most convenient for regular use,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
329 although it may require some special setup, especially if your machine
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
330 does not already have a conventional @code{man} installation (which
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
331 WoMan tries to detect).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
332
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
333 The simplest filename interface command @code{woman-find-file} can
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
334 always be used with no setup at all (provided WoMan is installed and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
335 loaded or set up to autoload).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
336
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
337 The automatic interface always requires special setup.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
338
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
339
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
340 @heading Case-Dependence of Filenames
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
341
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
342 @cindex case-sensitivity
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
343 @vindex w32-downcase-file-names
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
344 By default, WoMan ignores case in file pathnames only when it seems
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
345 appropriate. Microsoft Windows users who want complete case
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
346 independence should set the special NTEmacs variable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
347 @code{w32-downcase-file-names} to @code{t} and use all lower case when
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
348 setting WoMan file paths.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
349
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
350
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
351 @menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
352 * Topic:: Topic Interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
353 * Filename:: Filename Interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
354 * Automatic:: Automatic Interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
355 @end menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
356
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
357 @node Topic, Filename, Finding, Finding
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
358 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
359 @section Topic Interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
360 @cindex topic interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
361
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
362 The topic interface is accessed principally via the command
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
363 @code{woman}. The same command can be accessed via the menu item
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
364 @samp{Help->Manuals->Read Man Page (WoMan)...} once WoMan has been
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
365 loaded. The command reads a manual topic in the minibuffer, which can
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
366 be the @dfn{basename} of a man file anywhere in the man file
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
367 structure. The ``basename'' in this context means the filename
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
368 without any directory component and without any extension or suffix
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
369 components that relate to the file type. So, for example, if there is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
370 a compressed source file in Chapter 5 of the UNIX Programmer's Manual
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
371 with the full pathname @file{/usr/local/man/man5/man.conf.5.gz} then
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
372 the topic is @code{man.conf}. Provided WoMan is configured correctly,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
373 this topic will appear among the completions offered by @code{woman}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
374 If more than one file has the same topic name then WoMan will prompt
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
375 for which file to format. Completion of topics is case insensitive.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
376
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
377 Clearly, @code{woman} has to know where to look for man files and there
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
378 are two customizable user options that store this information:
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
379 @code{woman-manpath} and @code{woman-path}. @xref{Interface Options, ,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
380 Interface Options}. If @code{woman-manpath} is not set explicitly then
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
381 WoMan tries to pick up the information that would be used by the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
382 @code{man} command, as follows. If the environment variable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
383 @code{MANPATH} is set, which seems to be the standard mechanism under
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
384 UNIX, then WoMan parses that. Otherwise, if WoMan can find a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
385 configuration file named (by default) @file{man.conf} (or something very
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
386 similar), which seems to be the standard mechanism under GNU/Linux, then
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
387 it parses that. To be precise, ``something very similar'' means
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
388 starting with @samp{man} and ending with @samp{.conf} and possibly more
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
389 lowercase letters, e.g.@: @file{manual.configuration}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
390 The search path and/or precise full path name for this file are set by
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
391 the value of the customizable user option @code{woman-man.conf-path}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
392 If all else fails, WoMan uses a plausible default man search path.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
393
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
394 If the above default configuration does not work correctly for any
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
395 reason then simply customize the value of @code{woman-manpath}. To
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
396 access man files that are not in a conventional man file hierarchy,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
397 customize the value of @code{woman-path} to include the directories
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
398 containing the files. In this way, @code{woman} can access manual files
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
399 @emph{anywhere} in the entire file system.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
400
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
401 There are two differences between @code{woman-manpath} and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
402 @code{woman-path}. Firstly, the elements of @code{woman-manpath} must
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
403 be directories that contain @emph{directories of} man files, whereas the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
404 elements of @code{woman-path} must be directories that contain man files
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
405 @emph{directly}. Secondly, the last directory component of each element
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
406 of @code{woman-path} is treated as a regular (Emacs) match expression
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
407 rather than a fixed name, which allows collections of related
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
408 directories to be specified succinctly. Also, elements of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
409 @code{woman-manpath} can be conses, indicating a mapping from
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
410 @samp{PATH} environment variable components to man directory
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
411 hierarchies.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
412
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
413 For topic completion to work, WoMan must build a list of all the manual
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
414 files that it can access, which can be very slow, especially if a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
415 network is involved. For this reason, it caches various amounts of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
416 information, after which retrieving it from the cache is very fast. If
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
417 the cache ever gets out of synchronism with reality, running the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
418 @code{woman} command with a prefix argument (e.g.@: @kbd{C-u M-x woman})
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
419 will force it to rebuild its cache. This is necessary only if the names
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
420 or locations of any man files change; it is not necessary if only their
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
421 contents change. It would always be necessary if such a change occurred
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
422 whilst Emacs were running and after WoMan has been loaded. It may be
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
423 necessary if such a change occurs between Emacs sessions and persistent
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
424 caching is used, although WoMan can detect some changes that invalidate
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
425 its cache and rebuild it automatically.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
426
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
427 Customize the variable @code{woman-cache-filename} to save the cache
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
428 between Emacs sessions. This is recommended only if the @code{woman}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
429 command is too slow the first time it is run in an Emacs session, while
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
430 it builds its cache in main memory, which @emph{may} be @emph{very}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
431 slow. @xref{Cache, , The WoMan Topic Cache}, for further details.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
432
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
433
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
434 @menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
435 * Cache:: The WoMan Topic Cache
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
436 * Word at point:: Using the ``Word at Point'' as a Topic Suggestion
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
437 @end menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
438
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
439 @node Cache, Word at point, Topic, Topic
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
440 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
441 @subsection The WoMan Topic Cache
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
442 @cindex topic cache
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
443 @cindex cache, topic
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
444
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
445 The amount of information that WoMan caches (in main memory and,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
446 optionally, saved to disc) is controlled by the user option
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
447 @code{woman-cache-level}. There is a trade-off between the speed with
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
448 which WoMan can find a file and the size of the cache, and the default
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
449 setting gives a reasonable compromise.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
450
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
451 The @code{woman} command always performs a certain amount of caching in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
452 main memory, but it can also write its cache to the filestore as a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
453 persistent cache under control of the user option
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
454 @code{woman-cache-filename}. If persistent caching is turned on then
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
455 WoMan re-loads its internal cache from the cache file almost
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
456 instantaneously, so that there is never any perceptible start-up delay
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
457 @emph{except} when WoMan rebuilds its cache. Persistent caching is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
458 currently turned off by default. This is because users with persistent
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
459 caching turned on may overlook the need to force WoMan to rebuild its
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
460 cache the first time they run it after they have installed new man
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
461 files; with persistent caching turned off, WoMan automatically rebuilds
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
462 its cache every time it is run in a new Emacs session.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
463
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
464 A prefix argument always causes the @code{woman} command (only) to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
465 rebuild its topic cache, and to re-save it to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
466 @code{woman-cache-filename} if this variable has a non-@code{nil} value. This
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
467 is necessary if the @emph{names} of any of the directories or files in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
468 the paths specified by @code{woman-manpath} or @code{woman-path} change.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
469 If WoMan user options that affect the cache are changed then WoMan will
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
470 automatically update its cache file on disc (if one is in use) the next
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
471 time it is run in a new Emacs session.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
472
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
473
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
474 @node Word at point, , Cache, Topic
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
475 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
476 @subsection Using the ``Word at Point'' as a Topic Suggestion
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
477 @cindex word at point
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
478 @cindex point, word at
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
479
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
480 By default, the @code{woman} command uses the word nearest to point in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
481 the current buffer as a suggestion for the topic to look up, if it
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
482 exists as a valid topic. The topic can be confirmed or edited in the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
483 minibuffer.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
484
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
485 You can also bind the variable @code{woman-use-topic-at-point} locally
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
486 to a non-@code{nil} value (using @code{let}), in which case
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
487 @code{woman} will can use the suggested topic without confirmation if
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
488 possible. This may be useful to provide special private key bindings,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
489 e.g.@: this key binding for @kbd{C-c w} runs WoMan on the topic at
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
490 point without seeking confirmation:
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
491
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
492 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
493 (global-set-key "\C-cw"
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
494 (lambda ()
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
495 (interactive)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
496 (let ((woman-use-topic-at-point t))
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
497 (woman))))
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
498 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
499
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
500
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
501 @node Filename, Automatic, Topic, Finding
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
502 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
503 @section Filename Interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
504 @cindex filename interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
505
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
506 The commands in this family are completely independent of the topic
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
507 interface, caching mechanism, etc.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
508
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
509 @findex woman-find-file
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
510 The filename interface is accessed principally via the extended command
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
511 @code{woman-find-file}, which is available without any configuration at
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
512 all (provided WoMan is installed and loaded or set up to autoload).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
513 This command can be used to browse any accessible man file, regardless
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
514 of its filename or location. If the file is compressed then automatic
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
515 file decompression must already be turned on (e.g.@: see the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
516 @samp{Help->Options} submenu)---it is turned on automatically only by
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
517 the @code{woman} topic interface.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
518
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
519 @findex woman-dired-find-file
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
520 Once WoMan is loaded (or if specially set up), various additional
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
521 commands in this family are available. In a dired buffer, the command
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
522 @code{woman-dired-find-file} allows the file on the same line as point
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
523 to be formatted and browsed by WoMan. It is bound to the key @kbd{W} in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
524 the dired mode map and added to the dired major mode menu. It may also
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
525 be bound to @kbd{w}, unless this key is bound by another library, which
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
526 it is by @code{dired-x}, for example. Because it is quite likely that
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
527 other libraries will extend the capabilities of such a commonly used
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
528 mode as dired, the precise key bindings added by WoMan to the dired mode
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
529 map are controlled by the user option @code{woman-dired-keys}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
530
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
531 @findex woman-tar-extract-file
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
532 When a tar (Tape ARchive) file is visited in Emacs, it is opened in tar
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
533 mode, which parses the tar file and shows a dired-like view of its
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
534 contents. The WoMan command @code{woman-tar-extract-file} allows the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
535 file on the same line as point to be formatted and browsed by WoMan. It
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
536 is bound to the key @kbd{w} in the tar mode map and added to the tar
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
537 major mode menu.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
538
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
539 The command @code{woman-reformat-last-file}, which is bound to the key
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
540 @kbd{R} in WoMan mode and available on the major mode menu, reformats
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
541 the last file formatted by WoMan. This may occasionally be useful if
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
542 formatting parameters, such as the fill column, are changed, or perhaps
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
543 if the buffer is somehow corrupted.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
544
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
545 @findex woman-decode-buffer
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
546 The command @code{woman-decode-buffer} can be used to decode and browse
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
547 the current buffer if it is visiting a man file, although it is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
548 primarily used internally by WoMan.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
549
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
550
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
551 @node Automatic, , Filename, Finding
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
552 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
553 @section Automatic Interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
554 @cindex automatic interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
555
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
556 Emacs provides an interface to detect automatically the format of a file
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
557 and decode it when it is visited. It is used primarily by the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
558 facilities for editing rich (i.e.@: formatted) text, as a way to store
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
559 formatting information transparently as @acronym{ASCII} markup. WoMan can in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
560 principle use this interface, but it must be configured explicitly.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
561
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
562 This use of WoMan does not seem to be particularly advantageous, so it
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
563 is not really supported. It originated during early experiments on how
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
564 best to implement WoMan, before I implemented the current topic
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
565 interface, and I subsequently stopped using it. I might revive it as a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
566 mechanism for storing pre-formatted WoMan files, somewhat analogous to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
567 the standard Unix @code{catman} facility. In the meantime, it exists
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
568 for anyone who wants to experiment with it. Once it is set up it is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
569 simply a question of visiting the file and there is no WoMan-specific
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
570 user interface!
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
571
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
572 To use it, put something like this in your @file{.emacs} file. [The
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
573 call to @code{set-visited-file-name} is to avoid font-locking triggered
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
574 by automatic major mode selection.]
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
575
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
576 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
577 (autoload 'woman-decode-region "woman")
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
578
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
579 (add-to-list 'format-alist
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
580 '(man "Unix man-page source format" "\\.\\(TH\\|ig\\) "
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
581 woman-decode-region nil nil
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
582 (lambda (arg)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
583 set-visited-file-name
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
584 (file-name-sans-extension buffer-file-name))))
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
585 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
586
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
587 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
588
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
589 @node Browsing, Customization, Finding, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
590 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
591 @chapter Browsing Man Pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
592 @cindex using, browsing man pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
593 @cindex browsing man pages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
594 @cindex man pages, browsing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
595
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
596 Once a man page has been found and formatted, WoMan provides a browsing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
597 interface that is essentially the same as that provided by the standard
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
598 Emacs @code{man} command (and much of the code is inherited from the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
599 @code{man} library, which WoMan currently requires). Many WoMan
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
600 facilities can be accessed from the WoMan major mode menu as well as via
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
601 key bindings, etc.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
602
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
603 WoMan does not produce any page breaks or page numbers, and in fact does
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
604 not paginate the man page at all, since this is not appropriate for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
605 continuous online browsing. It produces a document header line that is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
606 constructed from the standard man page header and footer. Apart from
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
607 that, the appearance of the formatted man page should be almost
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
608 identical to what would be produced by @code{man}, with consecutive
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
609 blank lines squeezed to a single blank line.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
610
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
611 @menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
612 * Fonts:: Fonts and Faces
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
613 * Navigation:: Navigation
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
614 * References:: Following References
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
615 * Changing:: Changing the Current Man Page
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
616 * Convenience:: Convenience Key Bindings
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
617 * Imenu:: Imenu Support; Contents Menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
618 @end menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
619
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
620 @node Fonts, Navigation, Browsing, Browsing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
621 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
622 @section Fonts and Faces
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
623 @cindex fonts
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
624 @cindex faces
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
625
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
626 Fonts used by @code{roff} are handled by WoMan as faces, the details of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
627 which are customizable. @xref{Faces, , Faces}. WoMan supports both the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
628 italic and bold fonts normally used in man pages, together with a single
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
629 face to represent all unknown fonts (which are occasionally used in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
630 ``non-standard'' man pages, usually to represent a ``typewriter'' font)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
631 and a face to indicate additional symbols introduced by WoMan. This
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
632 currently means the characters ^ and _ used to indicate super- and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
633 sub-scripts, which are not displayed well by WoMan.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
634
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
635
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
636 @node Navigation, References, Fonts, Browsing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
637 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
638 @section Navigation
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
639 @cindex navigation
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
640
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
641 Man (and hence WoMan) mode can be thought of as a superset of view mode.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
642 The buffer cannot be edited, so keys that would normally self-insert are
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
643 used for navigation. The WoMan key bindings are a minor modification of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
644 the @code{man} key bindings.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
645
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
646 @table @kbd
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
647 @item @key{SPC}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
648 @kindex SPC
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
649 @findex scroll-up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
650 Scroll the man page up the window (@code{scroll-up}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
651
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
652 @item @key{DEL}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
653 @kindex DEL
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
654 @findex scroll-down
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
655 Scroll the man page down the window (@code{scroll-down}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
656
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
657 @item n
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
658 @kindex n
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
659 @findex Man-next-section
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
660 Move point to the Nth next section---default 1 (@code{Man-next-section}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
661
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
662 @item p
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
663 @kindex p
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
664 @findex Man-previous-section
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
665 Move point to Nth previous section---default 1
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
666 (@code{Man-previous-section}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
667
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
668 @item g
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
669 @kindex g
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
670 @findex Man-goto-section
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
671 Move point to the specified section (@code{Man-goto-section}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
672
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
673 @item s
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
674 @kindex s
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
675 @findex Man-goto-see-also-section
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
676 Move point to the ``SEE ALSO'' section
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
677 (@code{Man-goto-see-also-section}). Actually the section moved to is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
678 described by @code{Man-see-also-regexp}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
679 @end table
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
680
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
681
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
682 @node References, Changing, Navigation, Browsing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
683 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
684 @section Following References
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
685 @cindex following references
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
686 @cindex references
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
687
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
688 Man pages usually contain a ``SEE ALSO'' section containing references
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
689 to other man pages. If these man pages are installed then WoMan can
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
690 easily be directed to follow the reference, i.e.@: to find and format the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
691 man page. When the mouse is passed over a correctly formatted reference
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
692 it is highlighted, in which case clicking the middle button
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
693 @kbd{Mouse-2} will cause WoMan to follow the reference. Alternatively,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
694 when point is over such a reference the key @key{RET} will follow the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
695 reference.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
696
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
697 Any word in the buffer can be used as a reference by clicking
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
698 @kbd{Mouse-2} over it provided the Meta key is also used (although in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
699 general such a ``reference'' will not lead to a man page).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
700 Alternatively, the key @kbd{r} allows completion to be used to select a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
701 reference to follow, based on the word at point as default.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
702
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
703 @table @kbd
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
704 @item @kbd{Mouse-2}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
705 @kindex Mouse-2
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
706 @findex woman-mouse-2
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
707 Run WoMan with word under mouse as topic (@code{woman-mouse-2}). The
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
708 word must be mouse-highlighted unless @code{woman-mouse-2} is used with
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
709 the Meta key.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
710
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
711 @item @key{RET}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
712 @kindex RET
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
713 @findex man-follow
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
714 Get the man page for the topic under (or nearest to) point
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
715 (@code{man-follow}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
716
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
717 @item r
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
718 @kindex r
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
719 @findex Man-follow-manual-reference
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
720 Get one of the man pages referred to in the ``SEE ALSO'' section
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
721 (@code{Man-follow-manual-reference}). Specify which reference to use;
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
722 default is based on word at point.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
723 @end table
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
724
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
725
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
726 @node Changing, Convenience, References, Browsing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
727 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
728 @section Changing the Current Man Page
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
729 @cindex changing current man page
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
730 @cindex current man page, changing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
731
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
732 The man page currently being browsed by WoMan can be changed in several
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
733 ways. The command @code{woman} can be invoked to format another man
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
734 page, or the current WoMan buffer can be buried or killed. WoMan
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
735 maintains a ring of formatted man pages, and it is possible to move
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
736 forwards and backwards in this ring by moving to the next or previous
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
737 man page. It is sometimes useful to reformat the current page, for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
738 example after the right margin (the wrap column) or some other
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
739 formatting parameter has been changed.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
740
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
741 Buffers formatted by Man and WoMan are completely unrelated, even though
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
742 some of the commands to manipulate them are superficially the same (and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
743 share code).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
744
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
745 @table @kbd
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
746 @item m
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
747 @kindex m
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
748 @findex man
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
749 Run the command @code{man} to get a Un*x manual page and put it in a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
750 buffer. This command is the top-level command in the man package. It
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
751 runs a Un*x command to retrieve and clean a man page in the background
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
752 and places the results in a Man mode (man page browsing) buffer. If a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
753 man buffer already exists for this man page, it will display
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
754 immediately. This works exactly the same if WoMan is loaded, except
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
755 that the formatting time is displayed in the mini-buffer.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
756
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
757 @item w
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
758 @kindex w
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
759 @findex woman
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
760 Run the command @code{woman} exactly as if the extended command or menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
761 item had been used.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
762
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
763 @item q
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
764 @kindex q
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
765 @findex Man-quit
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
766 Bury the buffer containing the current man page (@code{Man-quit}),
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
767 i.e.@: move it to the bottom of the buffer stack.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
768
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
769 @item k
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
770 @kindex k
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
771 @findex Man-kill
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
772 Kill the buffer containing the current man page (@code{Man-kill}),
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
773 i.e.@: delete it completely so that it can be retrieved only by formatting
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
774 the page again.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
775
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
776 @item M-p
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
777 @kindex M-p
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
778 @findex WoMan-previous-manpage
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
779 Find the previous WoMan buffer (@code{WoMan-previous-manpage}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
780
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
781 @item M-n
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
782 @kindex M-n
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
783 @findex WoMan-next-manpage
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
784 Find the next WoMan buffer (@code{WoMan-next-manpage}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
785
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
786 @item R
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
787 @kindex R
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
788 @findex woman-reformat-last-file
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
789 Call WoMan to reformat the last man page formatted by WoMan
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
790 (@code{woman-reformat-last-file}), e.g.@: after changing the fill column.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
791 @end table
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
792
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
793
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
794 @node Convenience, Imenu, Changing, Browsing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
795 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
796 @section Convenience Key Bindings
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
797 @cindex convenience key bindings
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
798 @cindex key bindings, convenience
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
799
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
800 @table @kbd
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
801 @item -
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
802 @kindex -
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
803 @findex negative-argument
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
804 Begin a negative numeric argument for the next command
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
805 (@code{negative-argument}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
806
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
807 @item 0 .. 9
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
808 @kindex 0 .. 9
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
809 @findex digit-argument
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
810 Part of the numeric argument for the next command
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
811 (@code{digit-argument}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
812
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
813 @item <
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
814 @kindex <
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
815 @itemx .
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
816 @kindex .
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
817 @findex beginning-of-buffer
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
818 Move point to the beginning of the buffer; leave mark at previous
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
819 position (@code{beginning-of-buffer}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
820
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
821 @item >
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
822 @kindex >
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
823 @findex end-of-buffer
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
824 Move point to the end of the buffer; leave mark at previous position
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
825 (@code{end-of-buffer}).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
826
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
827 @item ?
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
828 @kindex ?
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
829 @findex describe-mode
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
830 Display documentation of current major mode and minor modes
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
831 (@code{describe-mode}). The major mode description comes first,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
832 followed by the minor modes, each on a separate page.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
833 @end table
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
834
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
835
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
836 @node Imenu, , Convenience, Browsing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
837 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
838 @section Imenu Support; Contents Menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
839 @cindex imenu support
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
840 @cindex contents menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
841
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
842 The WoMan menu provides an option to make a contents menu for the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
843 current man page (using @code{imenu}). Alternatively, if you customize
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
844 the option @code{woman-imenu} to @code{t} then WoMan will do it
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
845 automatically for every man page. The menu title is set by the option
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
846 @code{woman-imenu-title}, which is ``CONTENTS'' by default. The menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
847 shows manual sections and subsections by default, but you can change
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
848 this by customizing @code{woman-imenu-generic-expression}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
849
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
850 WoMan is configured not to replace spaces in an imenu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
851 @code{*Completion*} buffer. For further documentation on the use of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
852 imenu, such as menu sorting, see the source file @file{imenu.el}, which
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
853 is distributed with GNU Emacs.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
854
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
855 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
856
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
857 @node Customization, Log, Browsing, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
858 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
859 @chapter Customization
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
860 @cindex customization
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
861
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
862 All WoMan user options are customizable, and it is recommended to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
863 change them only via the standard Emacs customization facilities.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
864 WoMan defines a top-level customization group called @code{WoMan}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
865 under the parent group @code{Help}. It can be accessed either via the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
866 standard Emacs facilities, e.g.@: via the @samp{Help->Customize}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
867 submenu, or via the WoMan major mode menu.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
868
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
869 The top-level WoMan group contains only a few general options and three
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
870 subgroups. The hooks are provided only for special purposes that, for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
871 example, require code to be executed, and should be changed only via
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
872 @code{Customization} or the function @code{add-hook}. Most
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
873 customization should be possible via existing user options.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
874
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
875 @vtable @code
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
876 @item woman-show-log
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
877 A boolean value that defaults to @code{nil}. If non-@code{nil} then show the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
878 @code{*WoMan-Log*} buffer if appropriate, i.e.@: if any warning messages
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
879 are written to it. @xref{Log, , The *WoMan-Log* Buffer}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
880
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
881 @item woman-pre-format-hook
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
882 A hook run immediately before formatting a buffer. It might, for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
883 example, be used for face customization. @xref{Faces, , Faces},
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
884 however.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
885
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
886 @item woman-post-format-hook
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
887 A hook run immediately after formatting a buffer. It might, for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
888 example, be used for installing a dynamic menu using @code{imenu}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
889 (However. in this case it is better to use the built-in WoMan
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
890 @code{imenu} support. @xref{Imenu, , Imenu Support; Contents Menu}.)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
891 @end vtable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
892
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
893 @heading Customization Subgroups
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
894
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
895 @table @code
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
896 @item WoMan Interface
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
897 These options control the process of locating the appropriate file to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
898 browse, and the appearance of the browsing interface.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
899
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
900 @item WoMan Formatting
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
901 These options control the layout that WoMan uses to format the man page.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
902
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
903 @item WoMan Faces
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
904 These options control the display faces that WoMan uses to format the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
905 man page.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
906 @end table
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
907
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
908 @menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
909 * Interface Options::
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
910 * Formatting Options::
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
911 * Faces::
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
912 * Special symbols::
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
913 @end menu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
914
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
915 @node Interface Options, Formatting Options, Customization, Customization
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
916 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
917 @section Interface Options
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
918 @cindex interface options
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
919
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
920 These options control the process of locating the appropriate file to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
921 browse, and the appearance of the browsing interface.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
922
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
923 @vtable @code
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
924 @item woman-man.conf-path
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
925 A list of strings representing directories to search and/or files to try
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
926 for a man configuration file. The default is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
927
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
928 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
929 ("/etc" "/usr/local/lib")
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
930 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
931
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
932 @noindent
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
933 [for GNU/Linux and Cygwin respectively.] A trailing separator (@file{/}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
934 for UNIX etc.) on directories is optional and the filename matched if a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
935 directory is specified is the first to match the regexp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
936 @code{man.*\.conf}. If the environment variable @code{MANPATH} is not
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
937 set but a configuration file is found then it is parsed instead (or as
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
938 well) to provide a default value for @code{woman-manpath}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
939
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
940 @item woman-manpath
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
941 A list of strings representing @emph{directory trees} to search for Unix
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
942 manual files. Each element should be the name of a directory that
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
943 contains subdirectories of the form @file{man?}, or more precisely
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
944 subdirectories selected by the value of @code{woman-manpath-man-regexp}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
945 Non-directory and unreadable files are ignored. This can also contain
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
946 conses, with the car indicating a @code{PATH} variable component mapped
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
947 to the directory tree given in the cdr.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
948
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
949 @cindex @code{MANPATH}, environment variable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
950 If not set then the environment variable @code{MANPATH} is used. If no
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
951 such environment variable is found, the default list is determined by
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
952 consulting the man configuration file if found. By default this is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
953 expected to be either @file{/etc/man.config} or
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
954 @file{/usr/local/lib/man.conf}, which is controlled by the user option
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
955 @code{woman-man.conf-path}. An empty substring of @code{MANPATH}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
956 denotes the default list. Otherwise, the default value of this variable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
957 is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
958
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
959 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
960 ("/usr/man" "/usr/local/man")
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
961 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
962
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
963 Any environment variables (names of which must have the Unix-style form
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
964 @code{$NAME}, e.g.@: @code{$HOME}, @code{$EMACSDATA}, @code{$EMACS_DIR},
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
965 regardless of platform) are evaluated first but each element must
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
966 evaluate to a @emph{single} directory name. Trailing @file{/}s are
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
967 ignored. (Specific directories in @code{woman-path} are also searched.)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
968
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
969 On Microsoft platforms I recommend including drive letters explicitly,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
970 e.g.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
971
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
972 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
973 ("C:/Cygwin/usr/man" "C:/usr/man" "C:/usr/local/man")
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
974 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
975
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
976 @cindex directory separator character
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
977 @cindex @code{MANPATH}, directory separator
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
978 The @code{MANPATH} environment variable may be set using DOS
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
979 semi-colon-separated or Unix-style colon-separated syntax (but not
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
980 mixed).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
981
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
982 @item woman-manpath-man-regexp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
983 A regular expression to match man directories @emph{under} the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
984 @code{woman-manpath} directories. These normally have names of the form
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
985 @file{man?}. Its default value is @code{"[Mm][Aa][Nn]"}, which is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
986 case-insensitive mainly for the benefit of Microsoft platforms. Its
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
987 purpose is to avoid directories such as @file{cat?}, @file{.},
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
988 @file{..}, etc.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
989
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
990 @item woman-path
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
991 A list of strings representing @emph{specific directories} to search for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
992 Unix manual files. For example
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
993
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
994 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
995 ("/emacs/etc")
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
996 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
997
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
998 These directories are searched in addition to the directory trees
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
999 specified in @code{woman-manpath}. Each element should be a directory
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1000 string or @code{nil}, which represents the current directory when the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1001 path is expanded and cached. However, the last component (only) of each
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1002 directory string is treated as a regexp (Emacs, not shell) and the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1003 string is expanded into a list of matching directories. Non-directory
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1004 and unreadable files are ignored. The default value on MS-DOS is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1005
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1006 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1007 ("$DJDIR/info" "$DJDIR/man/cat[1-9onlp]")
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1008 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1009
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1010 @noindent
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1011 and on other platforms is @code{nil}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1012
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1013 Any environment variables (names of which must have the Unix-style form
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1014 @code{$NAME}, e.g.@: @code{$HOME}, @code{$EMACSDATA}, @code{$EMACS_DIR},
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1015 regardless of platform) are evaluated first but each element must
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1016 evaluate to a @emph{single} directory name (regexp, see above). For
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1017 example
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1018
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1019 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1020 ("$EMACSDATA")
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1021 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1022
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1023 @noindent
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1024 or equivalently
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1025
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1026 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1027 ("$EMACS_DIR/etc")
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1028 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1029
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1030 @noindent
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1031 Trailing @file{/}s are discarded. (The directory trees in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1032 @code{woman-manpath} are also searched.) On Microsoft platforms I
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1033 recommend including drive letters explicitly.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1034
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1035 @item woman-cache-level
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1036 A positive integer representing the level of topic caching:
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1037
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1038 @enumerate
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1039 @item
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1040 cache only the topic and directory lists (uses minimal memory, but not
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1041 recommended);
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1042 @item
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1043 cache also the directories for each topic (faster, without using much
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1044 more memory);
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1045 @item
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1046 cache also the actual filenames for each topic (fastest, but uses twice
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1047 as much memory).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1048 @end enumerate
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1049
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1050 The default value is currently 2, a good general compromise. If the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1051 @code{woman} command is slow to find files then try 3, which may be
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1052 particularly beneficial with large remote-mounted man directories. Run
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1053 the @code{woman} command with a prefix argument or delete the cache file
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1054 @code{woman-cache-filename} for a change to take effect. (Values < 1
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1055 behave like 1; values > 3 behave like 3.)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1056
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1057 @item woman-cache-filename
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1058 Either a string representing the full pathname of the WoMan directory
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1059 and topic cache file, or @code{nil}. It is used to save and restore the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1060 cache between Emacs sessions. This is especially useful with
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1061 remote-mounted man page files! The default value of @code{nil}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1062 suppresses this action. The ``standard'' non-@code{nil} filename is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1063 @file{~/.wmncach.el}. Remember that a prefix argument forces the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1064 @code{woman} command to update and re-write the cache.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1065
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1066 @item woman-dired-keys
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1067 A list of @code{dired} mode keys to be defined to run WoMan on the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1068 current file, e.g.@: @code{("w" "W")} or any non-@code{nil} atom to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1069 automatically define @kbd{w} and @kbd{W} if they are unbound, or
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1070 @code{nil} to do nothing. Default is @code{t}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1071
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1072 @item woman-imenu-generic-expression
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1073 Imenu support for Sections and Subsections: an alist with elements of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1074 the form @code{(MENU-TITLE REGEXP INDEX)}---see the documentation for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1075 @code{imenu-generic-expression}. Default value is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1076
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1077 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1078 ((nil "\n\\([A-Z].*\\)" 1) ; SECTION, but not TITLE
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1079 ("*Subsections*" "^ \\([A-Z].*\\)" 1))
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1080 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1081
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1082 @item woman-imenu
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1083 A boolean value that defaults to @code{nil}. If non-@code{nil} then WoMan adds
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1084 a Contents menu to the menubar by calling @code{imenu-add-to-menubar}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1085
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1086 @item woman-imenu-title
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1087 A string representing the title to use if WoMan adds a Contents menu to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1088 the menubar. Default is @code{"CONTENTS"}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1089
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1090 @item woman-use-topic-at-point
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1091 A boolean value that defaults to @code{nil}. If non-@code{nil} then
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1092 the @code{woman} command uses the word at point as the topic,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1093 @emph{without interactive confirmation}, if it exists as a topic.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1094
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1095 @item woman-use-topic-at-point-default
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1096 A boolean value representing the default value for
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1097 @code{woman-use-topic-at-point}. The default value is @code{nil}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1098 [The variable @code{woman-use-topic-at-point} may be @code{let}-bound
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1099 when @code{woman} is loaded, in which case its global value does not
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1100 get defined. The function @code{woman-file-name} sets it to this
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1101 value if it is unbound.]
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1102
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1103 @item woman-uncompressed-file-regexp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1104 A regular match expression used to select man source files (ignoring any
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1105 compression extension). The default value is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1106 @code{"\\.\\([0-9lmnt]\\w*\\)"} [which means a filename extension is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1107 required].
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1108
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1109 @emph{Do not change this unless you are sure you know what you are doing!}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1110
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1111 The SysV standard man pages use two character suffixes, and this is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1112 becoming more common in the GNU world. For example, the man pages in
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1113 the @code{ncurses} package include @file{toe.1m}, @file{form.3x}, etc.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1114
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1115 @strong{Please note:} an optional compression regexp will be appended,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1116 so this regexp @emph{must not} end with any kind of string terminator
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1117 such as @code{$} or @code{\\'}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1118
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1119 @item woman-file-compression-regexp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1120 A regular match expression used to match compressed man file extensions
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1121 for which decompressors are available and handled by auto-compression
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1122 mode. It should begin with @code{\\.} and end with @code{\\'} and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1123 @emph{must not} be optional. The default value is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1124 @code{"\\.\\(g?z\\|bz2\\)\\'"}, which matches the @code{gzip} and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1125 @code{bzip2} compression extensions.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1126
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1127 @emph{Do not change this unless you are sure you know what you are doing!}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1128
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1129 [It should be compatible with the @code{car} of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1130 @code{jka-compr-file-name-handler-entry}, but that is unduly
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1131 complicated, includes an inappropriate extension (@file{.tgz}) and is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1132 not loaded by default!]
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1133
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1134 @item woman-use-own-frame
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1135 If non-@code{nil} then use a dedicated frame for displaying WoMan windows.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1136 This is useful only when WoMan is run under a window system such as X or
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1137 Microsoft Windows that supports real multiple frames, in which case the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1138 default value is non-@code{nil}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1139 @end vtable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1140
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1141
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1142 @node Formatting Options, Faces, Interface Options, Customization
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1143 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1144 @section Formatting Options
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1145 @cindex formatting options
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1146
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1147 These options control the layout that WoMan uses to format the man page.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1148
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1149 @vtable @code
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1150 @item woman-fill-column
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1151 An integer specifying the right margin for formatted text. Default is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1152 65.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1153
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1154 @item woman-fill-frame
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1155 A boolean value. If non-@code{nil} then most of the frame width is used,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1156 overriding the value of @code{woman-fill-column}. Default is @code{nil}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1157
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1158 @item woman-default-indent
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1159 An integer specifying the default prevailing indent for the @code{-man}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1160 macros. Default is 5. Set this variable to 7 to emulate GNU/Linux man
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1161 formatting.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1162
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1163 @item woman-bold-headings
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1164 A boolean value. If non-@code{nil} then embolden section and subsection
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1165 headings. Default is @code{t}. [Heading emboldening is @emph{not} standard
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1166 @code{man} behavior.]
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1167
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1168 @item woman-ignore
96452
a9190e1a1d37 American English spelling fix.
Glenn Morris <rgm@gnu.org>
parents: 95937
diff changeset
1169 A boolean value. If non-@code{nil} then unrecognized requests etc. are
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1170 ignored. Default is @code{t}. This gives the standard @code{roff} behavior.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1171 If @code{nil} then they are left in the buffer, which may aid debugging.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1172
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1173 @item woman-preserve-ascii
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1174 A boolean value. If non-@code{nil} then preserve @acronym{ASCII} characters in the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1175 WoMan buffer. Otherwise, non-@acronym{ASCII} characters (that display as
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1176 @acronym{ASCII}) may remain, which is irrelevant unless the buffer is to be
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1177 saved to a file. Default is @code{nil}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1178
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1179 @item woman-emulation
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1180 WoMan emulation, currently either @code{nroff} or @code{troff}. Default
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1181 is @code{nroff}. @code{troff} emulation is experimental and largely
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1182 untested.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1183 @end vtable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1184
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1185
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1186 @node Faces, Special symbols, Formatting Options, Customization
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1187 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1188 @section Faces
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1189 @cindex faces
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1190
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1191 These options control the display faces that WoMan uses to format the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1192 man page.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1193
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1194 @vtable @code
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1195 @item woman-fontify
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1196 A boolean value. If non-@code{nil} then WoMan assumes that face support is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1197 available. It defaults to a non-@code{nil} value if the display supports
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1198 either colors or different fonts.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1199
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1200 @item woman-italic-face
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1201 Face for italic font in man pages. Default: italic, underlined,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1202 foreground red. This is overkill! @code{troff} uses just italic;
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1203 @code{nroff} uses just underline. You should probably select either
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1204 italic or underline as you prefer, but not both, although italic and
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1205 underline work together perfectly well!
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1206
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1207 @item woman-bold-face
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1208 Face for bold font in man pages. Default: bold, foreground blue.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1209
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1210 @item woman-unknown-face
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1211 Face for all unknown fonts in man pages. Default: foreground brown.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1212 Brown is a good compromise: it is distinguishable from the default but
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1213 not enough so as to make font errors look terrible. (Files that use
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1214 non-standard fonts seem to do so badly or in idiosyncratic ways!)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1215
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1216 @item woman-addition-face
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1217 Face for all additions made by WoMan to man pages.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1218 Default: foreground orange.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1219 @end vtable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1220
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1221
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1222 @node Special symbols, , Faces, Customization
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1223 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1224 @section Special symbols
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1225 @cindex special symbols
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1226
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1227 This section currently applies @emph{only} to Microsoft Windows.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1228
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1229 WoMan provides partial experimental support for special symbols,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1230 initially only for MS-Windows and only for MS-Windows fonts. This
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1231 includes both non-@acronym{ASCII} characters from the main text font and use
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1232 of a separate symbol font. Later, support will be added for other font
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1233 types (e.g.@: @code{bdf} fonts) and for the X Window System. In Emacs
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1234 20.7, the current support works partially under Windows 9x but may not
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1235 work on any other platform.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1236
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1237 @vtable @code
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1238 @item woman-use-extended-font
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1239 A boolean value. If non-@code{nil} then WoMan may use non-@acronym{ASCII} characters
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1240 from the default font. Default is @code{t}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1241
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1242 @item woman-use-symbol-font
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1243 A boolean value. If non-@code{nil} then WoMan may use the symbol font.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1244 Default is @code{nil}, mainly because it may change the line spacing (at
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1245 least in NTEmacs 20).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1246
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1247 @item woman-symbol-font
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1248 A string describing the symbol font to use for special characters.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1249 It should be compatible with, and the same size as, the default text font.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1250 Under MS-Windows, the default is
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1251
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1252 @lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1253 "-*-Symbol-normal-r-*-*-*-*-96-96-p-*-ms-symbol"
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1254 @end lisp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1255 @end vtable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1256
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1257
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1258 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1259
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1260 @node Log, Technical, Customization, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1261 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1262 @chapter The *WoMan-Log* Buffer
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1263 @cindex log buffer
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1264 @cindex buffer, log
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1265
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1266 This is modeled on the Emacs byte-compiler. It logs all files
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1267 formatted by WoMan and the time taken. If WoMan finds anything that it
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1268 cannot handle then it writes a warning to this buffer. If the variable
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1269 @code{woman-show-log} is non-@code{nil} (by default it is @code{nil}) then
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1270 WoMan automatically displays this buffer. @xref{Interface Options, ,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1271 Interface Options}. Many WoMan warnings can be completely ignored,
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1272 because they are reporting the fact that WoMan has ignored requests that
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1273 it is correct for WoMan to ignore. In some future version this level of
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1274 paranoia may be reduced, but not until WoMan is deemed more reliable.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1275 At present, all warnings should be treated with some suspicion.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1276 Uninterpreted escape sequences are also logged (in some cases).
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1277
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1278 By resetting the variable @code{woman-ignore} to @code{nil} (by default
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1279 it is @code{t}), uninterpreted @code{roff} requests can optionally be
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1280 left in the formatted buffer to indicate precisely where they occurred.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1281 @xref{Interface Options, , Interface Options}.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1282
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1283 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1284
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1285 @node Technical, Bugs, Log, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1286 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1287 @chapter Technical Details
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1288 @cindex technical details
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1289 @cindex horizontal spacing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1290 @cindex spacing, horizontal and vertical
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1291 @cindex vertical spacing
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1292 @cindex resolution
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1293
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1294 @heading Horizontal and vertical spacing and resolution
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1295
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1296 WoMan currently assumes 10 characters per inch horizontally, hence a
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1297 horizontal resolution of 24 basic units, and 5 lines per inch
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1298 vertically, hence a vertical resolution of 48 basic units.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1299 (@code{nroff} uses 240 per inch.)
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1300
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1301 @heading Vertical spacing and blank lines
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1302
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1303 The number of consecutive blank lines in the formatted buffer should be
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1304 either 0 or 1. A blank line should leave a space like .sp 1.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1305 Current policy is to output vertical space only immediately before text
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1306 is output.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1307
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1308 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1309
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1310 @node Bugs, Acknowledgements, Technical, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1311 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1312 @chapter Reporting Bugs
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1313 @cindex reporting bugs
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1314 @cindex bugs, reporting
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1315
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1316 If WoMan fails completely, or formats a file incorrectly (i.e.@:
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1317 obviously wrongly or significantly differently from @code{man}) or
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1318 inelegantly, then please
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1319
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1320 @enumerate
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1321 @item
106881
f450b77810be (Bugs): Make "Emacs repository" less specific, and the URL for same
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
1322 try the latest version of @file{woman.el} from the Emacs repository
f450b77810be (Bugs): Make "Emacs repository" less specific, and the URL for same
Glenn Morris <rgm@gnu.org>
parents: 106815
diff changeset
1323 on @uref{http://savannah.gnu.org/projects/emacs/}. If it still fails, please
84325
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1324
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1325 @item
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1326 send a bug report to @email{bug-gnu-emacs@@gnu.org} and to
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1327 @email{F.J.Wright@@qmw.ac.uk}. Please include the entry from the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1328 @code{*WoMan-Log*} buffer relating to the problem file, together with
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1329 a brief description of the problem. Please indicate where you got the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1330 man source file from, but do not send it unless asked to send it.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1331 @end enumerate
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1332
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1333 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1334
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1335 @node Acknowledgements, GNU Free Documentation License, Bugs, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1336 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1337 @chapter Acknowledgements
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1338 @cindex acknowledgements
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1339
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1340 For Heather, Kathryn and Madelyn, the women in my life (although they
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1341 will probably never use it)!
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1342
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1343 I also thank the following for helpful suggestions, bug reports, code
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1344 fragments, general interest, etc.:
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1345
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1346 @quotation
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1347 Jari Aalto, @email{jari.aalto@@cs.tpu.fi}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1348 Dean Andrews, @email{dean@@dra.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1349 Juanma Barranquero, @email{barranquero@@laley-actualidad.es}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1350 Karl Berry, @email{kb@@cs.umb.edu}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1351 Jim Chapman, @email{jchapman@@netcomuk.co.uk}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1352 Frederic Corne, @email{frederic.corne@@erli.fr}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1353 Peter Craft, @email{craft@@alacritech.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1354 Charles Curley, @email{ccurley@@trib.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1355 Jim Davidson, @email{jdavidso@@teknowledge.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1356 Kevin D'Elia, @email{Kevin.DElia@@mci.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1357 John Fitch, @email{jpff@@maths.bath.ac.uk}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1358 Hans Frosch, @email{jwfrosch@@rish.b17c.ingr.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1359 Guy Gascoigne-Piggford, @email{ggp@@informix.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1360 Brian Gorka, @email{gorkab@@sanchez.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1361 Nicolai Henriksen, @email{nhe@@lyngso-industri.dk}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1362 Thomas Herchenroeder, @email{the@@software-ag.de}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1363 Alexander Hinds, @email{ahinds@@thegrid.net}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1364 Stefan Hornburg, @email{sth@@hacon.de}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1365 Theodore Jump, @email{tjump@@cais.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1366 Paul Kinnucan, @email{paulk@@mathworks.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1367 Jonas Linde, @email{jonas@@init.se}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1368 Andrew McRae, @email{andrewm@@optimation.co.nz}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1369 Howard Melman, @email{howard@@silverstream.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1370 Dennis Pixton, @email{dennis@@math.binghamton.edu}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1371 T. V. Raman, @email{raman@@Adobe.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1372 Bruce Ravel, @email{bruce.ravel@@nist.gov}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1373 Benjamin Riefenstahl, @email{benny@@crocodial.de}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1374 Kevin Ruland, @email{kruland@@seistl.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1375 Tom Schutter, @email{tom@@platte.com}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1376 Wei-Xue Shi, @email{wxshi@@ma.neweb.ne.jp}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1377 Fabio Somenzi, @email{fabio@@joplin.colorado.edu}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1378 Karel Sprenger, @email{ks@@ic.uva.nl}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1379 Chris Szurgot, @email{szurgot@@itribe.net}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1380 Paul A. Thompson, @email{pat@@po.cwru.edu}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1381 Arrigo Triulzi, @email{arrigo@@maths.qmw.ac.uk}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1382 Geoff Voelker, @email{voelker@@cs.washington.edu}@*
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1383 Eli Zaretskii, @email{eliz@@is.elta.co.il}
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1384 @end quotation
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1385
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1386 @c ===================================================================
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1387
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1388 @comment END OF MANUAL TEXT
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1389 @page
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1390
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1391
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1392 @node GNU Free Documentation License, Command Index, Acknowledgements, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1393 @appendix GNU Free Documentation License
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1394 @include doclicense.texi
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1395
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1396 @node Command Index, Variable Index, GNU Free Documentation License, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1397 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1398 @unnumbered Command Index
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1399
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1400 @printindex fn
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1401
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1402 @node Variable Index, Keystroke Index, Command Index, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1403 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1404 @unnumbered Variable Index
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1405
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1406 @printindex vr
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1407
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1408 @c Without a page throw here, the page length seems to get reset to the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1409 @c depth of the index that fits on the page after the previous index.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1410 @c This must be a bug!
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1411
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1412 @page
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1413
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1414 @node Keystroke Index, Concept Index, Variable Index, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1415 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1416 @unnumbered Keystroke Index
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1417
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1418 @printindex ky
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1419
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1420 @c Without a page throw here, the page length seems to get reset to the
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1421 @c depth of the index that fits on the page after the previous index.
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1422 @c This must be a bug!
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1423
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1424 @page
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1425
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1426 @node Concept Index, , Keystroke Index, Top
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1427 @comment node-name, next, previous, up
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1428 @unnumbered Concept Index
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1429
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1430 @printindex cp
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1431
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1432 @bye
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1433
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1434 @ignore
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1435 arch-tag: a1a6b715-396f-4378-9b94-0b2ca0aa5028
d8f4368b0bd5 Move here from ../../man
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1436 @end ignore