[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Miles Bader
Subject: Re: address@hidden: documentation bug: customization type `option']
Date: Sat, 3 Jul 2004 22:31:37 -0400
User-agent: Mutt/1.3.28i

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).]

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]