Re: address@hidden: documentation bug: customization type `option']

[Miles Bader]

On Sat, Jul 03, 2004 at 02:21:19PM -0400, Richard Stallman wrote:
> It is not worth writing text in the manual for internal facilities.
> Writing good manual text is hard work, and I don't want to do it
> when it's not needed.

What about just saying somethign like `some other widget types exist, and are
documented in their doc-string, for instance: <list of widget types>'.

[Of course some of these widgets may be undocumented for good reason --
e.g., they are incompletely implemented or something (perhaps working only
in the specific case where they are used).]

-Miles
-- 
We live, as we dream -- alone....