(fortune-to-signature): Don't use interactive-p.
[emacs.git] / lispref / help.texi
blobddc52253a8000a675e2cd63fc7222e22cf065968
1 @c -*-texinfo-*-
2 @c This is part of the GNU Emacs Lisp Reference Manual.
3 @c Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1998, 1999, 2004
4 @c   Free Software Foundation, Inc.
5 @c See the file elisp.texi for copying conditions.
6 @setfilename ../info/help
7 @node Documentation, Files, Modes, Top
8 @chapter Documentation
9 @cindex documentation strings
11   GNU Emacs Lisp has convenient on-line help facilities, most of which
12 derive their information from the documentation strings associated with
13 functions and variables.  This chapter describes how to write good
14 documentation strings for your Lisp programs, as well as how to write
15 programs to access documentation.
17   Note that the documentation strings for Emacs are not the same thing
18 as the Emacs manual.  Manuals have their own source files, written in
19 the Texinfo language; documentation strings are specified in the
20 definitions of the functions and variables they apply to.  A collection
21 of documentation strings is not sufficient as a manual because a good
22 manual is not organized in that fashion; it is organized in terms of
23 topics of discussion.
25 @menu
26 * Documentation Basics::      Good style for doc strings.
27                                 Where to put them.  How Emacs stores them.
28 * Accessing Documentation::   How Lisp programs can access doc strings.
29 * Keys in Documentation::     Substituting current key bindings.
30 * Describing Characters::     Making printable descriptions of
31                                 non-printing characters and key sequences.
32 * Help Functions::            Subroutines used by Emacs help facilities.
33 @end menu
35 @node Documentation Basics
36 @comment  node-name,  next,  previous,  up
37 @section Documentation Basics
38 @cindex documentation conventions
39 @cindex writing a documentation string
40 @cindex string, writing a doc string
42   A documentation string is written using the Lisp syntax for strings,
43 with double-quote characters surrounding the text of the string.  This
44 is because it really is a Lisp string object.  The string serves as
45 documentation when it is written in the proper place in the definition
46 of a function or variable.  In a function definition, the documentation
47 string follows the argument list.  In a variable definition, the
48 documentation string follows the initial value of the variable.
50   When you write a documentation string, make the first line a complete
51 sentence (or two complete sentences) since some commands, such as
52 @code{apropos}, show only the first line of a multi-line documentation
53 string.  Also, you should not indent the second line of a documentation
54 string, if it has one, because that looks odd when you use @kbd{C-h f}
55 (@code{describe-function}) or @kbd{C-h v} (@code{describe-variable}) to
56 view the documentation string.  @xref{Documentation Tips}.
58   Documentation strings can contain several special substrings, which
59 stand for key bindings to be looked up in the current keymaps when the
60 documentation is displayed.  This allows documentation strings to refer
61 to the keys for related commands and be accurate even when a user
62 rearranges the key bindings.  (@xref{Keys in Documentation}.)
64   In Emacs Lisp, a documentation string is accessible through the
65 function or variable that it describes:
67 @itemize @bullet
68 @item
69 The documentation for a function is stored in the function definition
70 itself (@pxref{Lambda Expressions}).  The function @code{documentation}
71 knows how to extract it.
73 @item
74 @kindex variable-documentation
75 The documentation for a variable is stored in the variable's property
76 list under the property name @code{variable-documentation}.  The
77 function @code{documentation-property} knows how to retrieve it.
78 @end itemize
80 @cindex @file{DOC} (documentation) file
81 @cindex @file{emacs/etc/DOC-@var{version}}
82 @cindex @file{etc/DOC-@var{version}}
83 To save space, the documentation for preloaded functions and variables
84 (including primitive functions and autoloaded functions) is stored in
85 the file @file{emacs/etc/DOC-@var{version}}---not inside Emacs.  The
86 documentation strings for functions and variables loaded during the
87 Emacs session from byte-compiled files are stored in those files
88 (@pxref{Docs and Compilation}).
90 The data structure inside Emacs has an integer offset into the file, or
91 a list containing a file name and an integer, in place of the
92 documentation string.  The functions @code{documentation} and
93 @code{documentation-property} use that information to fetch the
94 documentation string from the appropriate file; this is transparent to
95 the user.
97   For information on the uses of documentation strings, see @ref{Help, ,
98 Help, emacs, The GNU Emacs Manual}.
100 @c Wordy to prevent overfull hbox.  --rjc 15mar92
101   The @file{emacs/lib-src} directory contains two utilities that you can
102 use to print nice-looking hardcopy for the file
103 @file{emacs/etc/DOC-@var{version}}.  These are @file{sorted-doc} and
104 @file{digest-doc}.
106 @node Accessing Documentation
107 @section Access to Documentation Strings
109 @defun documentation-property symbol property &optional verbatim
110 This function returns the documentation string that is recorded in
111 @var{symbol}'s property list under property @var{property}.  It
112 retrieves the text from a file if the value calls for that.  If the
113 property value isn't @code{nil}, isn't a string, and doesn't refer to
114 text in a file, then it is evaluated to obtain a string.
116 Finally, @code{documentation-property} passes the string through
117 @code{substitute-command-keys} to substitute actual key bindings,
118 unless @var{verbatim} is non-@code{nil}.
120 @smallexample
121 @group
122 (documentation-property 'command-line-processed
123    'variable-documentation)
124      @result{} "Non-nil once command line has been processed"
125 @end group
126 @group
127 (symbol-plist 'command-line-processed)
128      @result{} (variable-documentation 188902)
129 @end group
130 @end smallexample
131 @end defun
133 @defun documentation function &optional verbatim
134 This function returns the documentation string of @var{function}.
136 If @var{function} is a symbol, this function first looks for the
137 @code{function-documentation} property of that symbol; if that has a
138 non-@code{nil} value, the documentation comes from that value (if the
139 value is not a string, it is evaluated).  If @var{function} is not a
140 symbol, or if it has no @code{function-documentation} property, then
141 @code{documentation} extracts the documentation string from the actual
142 function definition, reading it from a file if called for.
144 Finally, unless @var{verbatim} is non-@code{nil}, it calls
145 @code{substitute-command-keys} so as to return a value containing the
146 actual (current) key bindings.
148 The function @code{documentation} signals a @code{void-function} error
149 if @var{function} has no function definition.  However, it is OK if
150 the function definition has no documentation string.  In that case,
151 @code{documentation} returns @code{nil}.
152 @end defun
154 @c Wordy to prevent overfull hboxes.  --rjc 15mar92
155 Here is an example of using the two functions, @code{documentation} and
156 @code{documentation-property}, to display the documentation strings for
157 several symbols in a @samp{*Help*} buffer.
159 @anchor{describe-symbols example}
160 @smallexample
161 @group
162 (defun describe-symbols (pattern)
163   "Describe the Emacs Lisp symbols matching PATTERN.
164 All symbols that have PATTERN in their name are described
165 in the `*Help*' buffer."
166   (interactive "sDescribe symbols matching: ")
167   (let ((describe-func
168          (function
169           (lambda (s)
170 @end group
171 @group
172             ;; @r{Print description of symbol.}
173             (if (fboundp s)             ; @r{It is a function.}
174                 (princ
175                  (format "%s\t%s\n%s\n\n" s
176                    (if (commandp s)
177                        (let ((keys (where-is-internal s)))
178                          (if keys
179                              (concat
180                               "Keys: "
181                               (mapconcat 'key-description
182                                          keys " "))
183                            "Keys: none"))
184                      "Function")
185 @end group
186 @group
187                    (or (documentation s)
188                        "not documented"))))
190             (if (boundp s)              ; @r{It is a variable.}
191 @end group
192 @group
193                 (princ
194                  (format "%s\t%s\n%s\n\n" s
195                    (if (user-variable-p s)
196                        "Option " "Variable")
197 @end group
198 @group
199                    (or (documentation-property
200                          s 'variable-documentation)
201                        "not documented")))))))
202         sym-list)
203 @end group
205 @group
206     ;; @r{Build a list of symbols that match pattern.}
207     (mapatoms (function
208                (lambda (sym)
209                  (if (string-match pattern (symbol-name sym))
210                      (setq sym-list (cons sym sym-list))))))
211 @end group
213 @group
214     ;; @r{Display the data.}
215     (with-output-to-temp-buffer "*Help*"
216       (mapcar describe-func (sort sym-list 'string<))
217       (print-help-return-message))))
218 @end group
219 @end smallexample
221   The @code{describe-symbols} function works like @code{apropos},
222 but provides more information.
224 @smallexample
225 @group
226 (describe-symbols "goal")
228 ---------- Buffer: *Help* ----------
229 goal-column     Option
230 *Semipermanent goal column for vertical motion, as set by @dots{}
231 @end group
232 @c Do not blithely break or fill these lines.
233 @c That makes them incorrect.
235 @group
236 set-goal-column Keys: C-x C-n
237 Set the current horizontal position as a goal for C-n and C-p.
238 @end group
239 @c DO NOT put a blank line here!  That is factually inaccurate!
240 @group
241 Those commands will move to this position in the line moved to
242 rather than trying to keep the same horizontal position.
243 With a non-nil argument, clears out the goal column
244 so that C-n and C-p resume vertical motion.
245 The goal column is stored in the variable `goal-column'.
246 @end group
248 @group
249 temporary-goal-column   Variable
250 Current goal column for vertical motion.
251 It is the column where point was
252 at the start of current run of vertical motion commands.
253 When the `track-eol' feature is doing its job, the value is 9999.
254 ---------- Buffer: *Help* ----------
255 @end group
256 @end smallexample
258 The asterisk @samp{*} as the first character of a variable's doc string,
259 as shown above for the @code{goal-column} variable, means that it is a
260 user option; see the description of @code{defvar} in @ref{Defining
261 Variables}.
263 @defun Snarf-documentation filename
264 @anchor{Definition of Snarf-documentation}
265 This function is used only during Emacs initialization, just before
266 the runnable Emacs is dumped.  It finds the file offsets of the
267 documentation strings stored in the file @var{filename}, and records
268 them in the in-core function definitions and variable property lists in
269 place of the actual strings.  @xref{Building Emacs}.
271 Emacs reads the file @var{filename} from the @file{emacs/etc} directory.
272 When the dumped Emacs is later executed, the same file will be looked
273 for in the directory @code{doc-directory}.  Usually @var{filename} is
274 @code{"DOC-@var{version}"}.
275 @end defun
277 @c Emacs 19 feature
278 @defvar doc-directory
279 This variable holds the name of the directory which should contain the
280 file @code{"DOC-@var{version}"} that contains documentation strings for
281 built-in and preloaded functions and variables.
283 In most cases, this is the same as @code{data-directory}.  They may be
284 different when you run Emacs from the directory where you built it,
285 without actually installing it.  @xref{Definition of data-directory}.
287 In older Emacs versions, @code{exec-directory} was used for this.
288 @end defvar
290 @node Keys in Documentation
291 @section Substituting Key Bindings in Documentation
292 @cindex documentation, keys in
293 @cindex keys in documentation strings
294 @cindex substituting keys in documentation
296   When documentation strings refer to key sequences, they should use the
297 current, actual key bindings.  They can do so using certain special text
298 sequences described below.  Accessing documentation strings in the usual
299 way substitutes current key binding information for these special
300 sequences.  This works by calling @code{substitute-command-keys}.  You
301 can also call that function yourself.
303   Here is a list of the special sequences and what they mean:
305 @table @code
306 @item \[@var{command}]
307 stands for a key sequence that will invoke @var{command}, or @samp{M-x
308 @var{command}} if @var{command} has no key bindings.
310 @item \@{@var{mapvar}@}
311 stands for a summary of the keymap which is the value of the variable
312 @var{mapvar}.  The summary is made using @code{describe-bindings}.
314 @item \<@var{mapvar}>
315 stands for no text itself.  It is used only for a side effect: it
316 specifies @var{mapvar}'s value as the keymap for any following
317 @samp{\[@var{command}]} sequences in this documentation string.
319 @item \=
320 quotes the following character and is discarded; thus, @samp{\=\[} puts
321 @samp{\[} into the output, and @samp{\=\=} puts @samp{\=} into the
322 output.
323 @end table
325 @strong{Please note:} Each @samp{\} must be doubled when written in a
326 string in Emacs Lisp.
328 @defun substitute-command-keys string
329 This function scans @var{string} for the above special sequences and
330 replaces them by what they stand for, returning the result as a string.
331 This permits display of documentation that refers accurately to the
332 user's own customized key bindings.
333 @end defun
335   Here are examples of the special sequences:
337 @smallexample
338 @group
339 (substitute-command-keys
340    "To abort recursive edit, type: \\[abort-recursive-edit]")
341 @result{} "To abort recursive edit, type: C-]"
342 @end group
344 @group
345 (substitute-command-keys
346    "The keys that are defined for the minibuffer here are:
347   \\@{minibuffer-local-must-match-map@}")
348 @result{} "The keys that are defined for the minibuffer here are:
349 @end group
351 ?               minibuffer-completion-help
352 SPC             minibuffer-complete-word
353 TAB             minibuffer-complete
354 C-j             minibuffer-complete-and-exit
355 RET             minibuffer-complete-and-exit
356 C-g             abort-recursive-edit
359 @group
360 (substitute-command-keys
361    "To abort a recursive edit from the minibuffer, type\
362 \\<minibuffer-local-must-match-map>\\[abort-recursive-edit].")
363 @result{} "To abort a recursive edit from the minibuffer, type C-g."
364 @end group
365 @end smallexample
367 @node Describing Characters
368 @section Describing Characters for Help Messages
370   These functions convert events, key sequences, or characters to
371 textual descriptions.  These descriptions are useful for including
372 arbitrary text characters or key sequences in messages, because they
373 convert non-printing and whitespace characters to sequences of printing
374 characters.  The description of a non-whitespace printing character is
375 the character itself.
377 @defun key-description sequence &optional prefix
378 @cindex Emacs event standard notation
379 This function returns a string containing the Emacs standard notation
380 for the input events in @var{sequence}.  If @var{prefix} is
381 non-@code{nil}, it is a sequence of input events leading up to
382 @var{sequence} and is included in the return value.  Both arguments
383 may be strings, vectors or lists.  @xref{Input Events}, for more
384 information about valid events.
386 @smallexample
387 @group
388 (key-description [?\M-3 delete])
389      @result{} "M-3 <delete>"
390 @end group
391 @group
392 (key-description [delete] "\M-3")
393      @result{} "M-3 <delete>"
394 @end group
395 @end smallexample
397   See also the examples for @code{single-key-description}, below.
398 @end defun
400 @defun single-key-description event &optional no-angles
401 @cindex event printing
402 @cindex character printing
403 @cindex control character printing
404 @cindex meta character printing
405 This function returns a string describing @var{event} in the standard
406 Emacs notation for keyboard input.  A normal printing character
407 appears as itself, but a control character turns into a string
408 starting with @samp{C-}, a meta character turns into a string starting
409 with @samp{M-}, and space, tab, etc.@: appear as @samp{SPC},
410 @samp{TAB}, etc.  A function key symbol appears inside angle brackets
411 @samp{<@dots{}>}.  An event that is a list appears as the name of the
412 symbol in the @sc{car} of the list, inside angle brackets.
414 If the optional argument @var{no-angles} is non-@code{nil}, the angle
415 brackets around function keys and event symbols are omitted; this is
416 for compatibility with old versions of Emacs which didn't use the
417 brackets.
419 @smallexample
420 @group
421 (single-key-description ?\C-x)
422      @result{} "C-x"
423 @end group
424 @group
425 (key-description "\C-x \M-y \n \t \r \f123")
426      @result{} "C-x SPC M-y SPC C-j SPC TAB SPC RET SPC C-l 1 2 3"
427 @end group
428 @group
429 (single-key-description 'delete)
430      @result{} "<delete>"
431 @end group
432 @group
433 (single-key-description 'C-mouse-1)
434      @result{} "<C-mouse-1>"
435 @end group
436 @group
437 (single-key-description 'C-mouse-1 t)
438      @result{} "C-mouse-1"
439 @end group
440 @end smallexample
441 @end defun
443 @defun text-char-description character
444 This function returns a string describing @var{character} in the
445 standard Emacs notation for characters that appear in text---like
446 @code{single-key-description}, except that control characters are
447 represented with a leading caret (which is how control characters in
448 Emacs buffers are usually displayed).  Another difference is that
449 @code{text-char-description} recognizes the 2**7 bit as the Meta
450 character, whereas @code{single-key-description} uses the 2**27 bit
451 for Meta.
453 @smallexample
454 @group
455 (text-char-description ?\C-c)
456      @result{} "^C"
457 @end group
458 @group
459 (text-char-description ?\M-m)
460      @result{} "\xed"
461 @end group
462 @group
463 (text-char-description ?\C-\M-m)
464      @result{} "\x8d"
465 @end group
466 @group
467 (text-char-description (+ 128 ?m))
468      @result{} "M-m"
469 @end group
470 @group
471 (text-char-description (+ 128 ?\C-m))
472      @result{} "M-^M"
473 @end group
474 @end smallexample
475 @end defun
477 @defun read-kbd-macro string &optional need-vector
478 This function is used mainly for operating on keyboard macros, but it
479 can also be used as a rough inverse for @code{key-description}.  You
480 call it with a string containing key descriptions, separated by spaces;
481 it returns a string or vector containing the corresponding events.
482 (This may or may not be a single valid key sequence, depending on what
483 events you use; @pxref{Keymap Terminology}.)  If @var{need-vector} is
484 non-@code{nil}, the return value is always a vector.
485 @end defun
487 @node Help Functions
488 @section Help Functions
490   Emacs provides a variety of on-line help functions, all accessible to
491 the user as subcommands of the prefix @kbd{C-h}.  For more information
492 about them, see @ref{Help, , Help, emacs, The GNU Emacs Manual}.  Here
493 we describe some program-level interfaces to the same information.
495 @deffn Command apropos regexp &optional do-all
496 This function finds all ``meaningful'' symbols whose names contain a
497 match for the regular expression @var{regexp}, and returns a list of
498 them, with associated documentation (@pxref{Regular Expressions}).  It
499 also displays the symbols in a buffer named @samp{*Apropos*}, each
500 with a one-line description taken from the beginning of its
501 documentation string.  A symbol is ``meaningful'' if it has a
502 definition as a function, variable, or face, or has properties.
504 @c Emacs 19 feature
505 If @var{do-all} is non-@code{nil}, or if the user option
506 @code{apropos-do-all} is non-@code{nil}, then @code{apropos} also
507 shows key bindings for the functions that are found; it also shows
508 @emph{all} interned symbols, not just meaningful ones (and it lists
509 them in the return value as well).
510 @end deffn
512 @defvar help-map
513 The value of this variable is a local keymap for characters following the
514 Help key, @kbd{C-h}.
515 @end defvar
517 @deffn {Prefix Command} help-command
518 This symbol is not a function; its function definition cell holds the
519 keymap known as @code{help-map}.  It is defined in @file{help.el} as
520 follows:
522 @smallexample
523 @group
524 (define-key global-map (char-to-string help-char) 'help-command)
525 (fset 'help-command help-map)
526 @end group
527 @end smallexample
528 @end deffn
530 @defun print-help-return-message &optional function
531 This function builds a string that explains how to restore the previous
532 state of the windows after a help command.  After building the message,
533 it applies @var{function} to it if @var{function} is non-@code{nil}.
534 Otherwise it calls @code{message} to display it in the echo area.
536 This function expects to be called inside a
537 @code{with-output-to-temp-buffer} special form, and expects
538 @code{standard-output} to have the value bound by that special form.
539 For an example of its use, see the long example in @ref{Accessing
540 Documentation}.
541 @end defun
543 @defvar help-char
544 The value of this variable is the help character---the character that
545 Emacs recognizes as meaning Help.  By default, its value is 8, which
546 stands for @kbd{C-h}.  When Emacs reads this character, if
547 @code{help-form} is a non-@code{nil} Lisp expression, it evaluates that
548 expression, and displays the result in a window if it is a string.
550 Usually the value of @code{help-form} is @code{nil}.  Then the
551 help character has no special meaning at the level of command input, and
552 it becomes part of a key sequence in the normal way.  The standard key
553 binding of @kbd{C-h} is a prefix key for several general-purpose help
554 features.
556 The help character is special after prefix keys, too.  If it has no
557 binding as a subcommand of the prefix key, it runs
558 @code{describe-prefix-bindings}, which displays a list of all the
559 subcommands of the prefix key.
560 @end defvar
562 @defvar help-event-list
563 The value of this variable is a list of event types that serve as
564 alternative ``help characters.''  These events are handled just like the
565 event specified by @code{help-char}.
566 @end defvar
568 @defvar help-form
569 If this variable is non-@code{nil}, its value is a form to evaluate
570 whenever the character @code{help-char} is read.  If evaluating the form
571 produces a string, that string is displayed.
573 A command that calls @code{read-event} or @code{read-char} probably
574 should bind @code{help-form} to a non-@code{nil} expression while it
575 does input.  (The time when you should not do this is when @kbd{C-h} has
576 some other meaning.)  Evaluating this expression should result in a
577 string that explains what the input is for and how to enter it properly.
579 Entry to the minibuffer binds this variable to the value of
580 @code{minibuffer-help-form} (@pxref{Definition of minibuffer-help-form}).
581 @end defvar
583 @defvar prefix-help-command
584 This variable holds a function to print help for a prefix key.  The
585 function is called when the user types a prefix key followed by the help
586 character, and the help character has no binding after that prefix.  The
587 variable's default value is @code{describe-prefix-bindings}.
588 @end defvar
590 @defun describe-prefix-bindings
591 This function calls @code{describe-bindings} to display a list of all
592 the subcommands of the prefix key of the most recent key sequence.  The
593 prefix described consists of all but the last event of that key
594 sequence.  (The last event is, presumably, the help character.)
595 @end defun
597   The following two functions are meant for modes that want to provide
598 help without relinquishing control, such as the ``electric'' modes.
599 Their names begin with @samp{Helper} to distinguish them from the
600 ordinary help functions.
602 @deffn Command Helper-describe-bindings
603 This command pops up a window displaying a help buffer containing a
604 listing of all of the key bindings from both the local and global keymaps.
605 It works by calling @code{describe-bindings}.
606 @end deffn
608 @deffn Command Helper-help
609 This command provides help for the current mode.  It prompts the user
610 in the minibuffer with the message @samp{Help (Type ? for further
611 options)}, and then provides assistance in finding out what the key
612 bindings are, and what the mode is intended for.  It returns @code{nil}.
614 This can be customized by changing the map @code{Helper-help-map}.
615 @end deffn
617 @c Emacs 19 feature
618 @defvar data-directory
619 @anchor{Definition of data-directory}
620 This variable holds the name of the directory in which Emacs finds
621 certain documentation and text files that come with Emacs.  In older
622 Emacs versions, @code{exec-directory} was used for this.
623 @end defvar
625 @c Emacs 19 feature
626 @defmac make-help-screen fname help-line help-text help-map
627 This macro defines a help command named @var{fname} that acts like a
628 prefix key that shows a list of the subcommands it offers.
630 When invoked, @var{fname} displays @var{help-text} in a window, then
631 reads and executes a key sequence according to @var{help-map}.  The
632 string @var{help-text} should describe the bindings available in
633 @var{help-map}.
635 The command @var{fname} is defined to handle a few events itself, by
636 scrolling the display of @var{help-text}.  When @var{fname} reads one of
637 those special events, it does the scrolling and then reads another
638 event.  When it reads an event that is not one of those few, and which
639 has a binding in @var{help-map}, it executes that key's binding and
640 then returns.
642 The argument @var{help-line} should be a single-line summary of the
643 alternatives in @var{help-map}.  In the current version of Emacs, this
644 argument is used only if you set the option @code{three-step-help} to
645 @code{t}.
647 This macro is used in the command @code{help-for-help} which is the
648 binding of @kbd{C-h C-h}.
649 @end defmac
651 @defopt three-step-help
652 If this variable is non-@code{nil}, commands defined with
653 @code{make-help-screen} display their @var{help-line} strings in the
654 echo area at first, and display the longer @var{help-text} strings only
655 if the user types the help character again.
656 @end defopt
658 @ignore
659    arch-tag: ba36b4c2-e60f-49e2-bc25-61158fdcd815
660 @end ignore