comparison lispref/tips.texi @ 67690:f5914f5bfb9c

(Documentation Tips): Minor change.

67689:98eba52a8481

first blank line.  If you wish, you can choose which information to
include before the first blank line so as to make this display useful.

@item
When you define a variable that users ought to set interactively, you
should normally use @code{defcustom}.  However, if for some reason you
use @code{defvar} instead, start the doc string with a @samp{*}.
@xref{Defining Variables}.

@item
The documentation string for a variable that is a yes-or-no flag should

67690:f5914f5bfb9c

first blank line.  If you wish, you can choose which information to
include before the first blank line so as to make this display useful.

@item
When you define a variable that users ought to set interactively, you
normally should use @code{defcustom}.  However, if for some reason you
use @code{defvar} instead, start the doc string with a @samp{*}.
@xref{Defining Variables}.

@item
The documentation string for a variable that is a yes-or-no flag should