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
