Re: Web manual out-dated?

[Simon Josefsson]

Bruno Haible <address@hidden> writes:

> Simon Josefsson wrote:
>> I wanted to link to a recent part of the gnulib manual, but noticed the
>> online manual is rather old:
>> 
>> http://www.gnu.org/software/gnulib/manual/
>> 
>> How was this manual generated?  I may have write access to the web cvs
>> repository, is it ok to upload an updated manual, once the way to
>> generate it is documented?
>
> Yes. It's with pleasure that I share with you the recipe to update the
> manual on the web site.

Thanks!  I made some minor changes and added the instructions to
doc/README in gnulib.

I've also updated the manual on the web, let me know if you notice
anything wrong.

One minor problem seems to be that the 'index' documentation is included
in the top-level index file too, see bottom of:

http://www.gnu.org/software/gnulib/manual/html_node/index.html

Is this a texinfo bug?  I'm using texinfo 4.13.

/Simon