Re: GNU info: bug: menu & iso-8859-2 chars problem

[Eli Zaretskii]

> Date: Thu, 10 Jan 2002 15:43:28 +0100 (MET)
> From: Mirsad Todorovac <address@hidden>
> 
> Frank has mentioned another 'texinfo' problem - apparently
> 
>       'makeinfo --html'
> 
> can't split generated HTML files automatically. In that case generated
> HTML file for GPC documentation would be far too big to be still
> practical, wouldn't it?

The current pretest version 4.0d already supports split-HTML output.