Re: [PATCH] Turn on more documentation

[Andy Wingo]

Howdy,

On Sun 06 May 2012 12:14, address@hidden (Ludovic Courtès) writes:

> The problem is that the auto-generated “Standard Library” section looks
> very poor in comparison to the rest of the manual.  So we should really
> try hard to write good doc by hands for these, and come up with a handy
> structure (instead of one node per module, all under “Standard
> Library”).

I agree.  I used to think that auto-generation would work as well or
better than .texi files, but I think time has definitely proved me
wrong, and the GCS right
(http://www.gnu.org/prep/standards/html_node/Doc-Strings-and-Manuals.html).
The right thing to do is to rework the "Standard Library" documentation
into .texi files.

Andy
-- 
http://wingolog.org/