[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).]
-Miles
--
We live, as we dream -- alone....