Re: gendocs.sh and texi2html

[Patrice Dumas]

On Tue, Oct 23, 2007 at 05:40:40PM +0300, Sergey Poznyakoff wrote:
> Hello,
> 
> The proposed patch enables enables gendocs.sh to generate HTML output
> using texi2html if a corresponding command line option is given. It
> also adds two substitution variables - HTML_SECTION_TGZ_SIZE and 
> HTML_CHAPTER_TGZ_SIZE for that case.

If the texi2html version used is above 1.68, you may add --node-files
to have the file names consistent with what makeinfo --html produces,
and redirection files done for nodes that are not at the beginning of a
file, allowing for cross reference between split manuals to work right if 
the setup is like explained in the node 'Link Basics' (which is not the
case if I recall well).

--
Pat