[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: gendocs.sh and texi2html

From: Patrice Dumas
Subject: Re: gendocs.sh and texi2html
Date: Tue, 23 Oct 2007 19:01:13 +0200
User-agent: Mutt/1.5.16 (2007-06-09)

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).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]