Re: PATCH: texi2info for 4.0

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Oct 24, 12:40pm, Peter Stephenson wrote:
}
} I propose to apply the following change, of which the major chunk (the
} second is) already on 4.1, to 4.0, since it's required by the version of
} texi2html I'm actually using

I thought the texinfo maintainers said they were going to fix it so that
texi2html would accept the old forms of the options?  Oh, well.

} Otherwise I think everything for 4.0.3 is about ready.

16038, 16041, 16124?  It appears from a quick peek at loop.c that those
are needed.

-- 
Bart Schaefer                                 Brass Lantern Enterprises
http://www.well.com/user/barts              http://www.brasslantern.com

Zsh: http://www.zsh.org | PHPerl Project: http://phperl.sourceforge.net