Re: documentation vs. customize (Re: <backspace> and DEL)

[Eli Zaretskii]

On 17 Jan 2001, Karl Eichwalder wrote:

> I was talking about the manual.  Of course, it's an excellent piece of
> documentation!  I'd like to see documented more user variables in the
> manual.

Please report any variables that aren't in the manual.  At the very 
least, maintainers should consider each missing variable and decide 
whether it should or should not go into the manual.  (I think in most of 
the cases the variables get added anyway.)