Re: html version of the manual

[Ralf Wildenhues]

Hi Paul,

* Paul Eggert wrote on Tue, Mar 14, 2006 at 10:32:50PM CET:
> Ralf Wildenhues <address@hidden> writes:
> 
> > OK to apply the trivial patch below to fix these and remove the
> > corresponding bogus output?
> 
> Yes, thanks, please do that.

Done, thanks for the review!

> > - tidy complains that makeinfo does not escape the ampersand in
> >   title="Program & Function Index".
> 
> That sounds like a bug in makeinfo.

Reported somewhere near this URL (I'm guessing the message number):
http://lists.gnu.org/archive/html/bug-texinfo/2006-03/msg00032.html

Cheers,
Ralf