Re: gendocs.sh and texi2html

[Patrice Dumas]

On Fri, May 04, 2007 at 09:21:13AM -0700, Bruce Korb wrote:
> Bruno Haible wrote:
> > Bruce Korb wrote:
> > 
> > Some hacks are needed for being able to process a .texi file with both
> > "texi2html" and "makeinfo --html":
> > 
> >   - The "Top" node must be included for "makeinfo --html" but it's pointless
> >     in texi2html runs. Since the conditional @ifhtml cannot distinguish 
> > these

Is it problematic in texi2html? The Top node in general is needed for
proper menus handling in texi2html (otherwise you get warnings about 
node not appearing in any menu).

> >      @c for info and html output, but to false in texi2html.
> >      @alias ifmakeinfo = ifnottex
> > 

You shouldn't rely on this behaviour, it is just a texi2html bug. @alias
should be implemented...

What you should use is:
@ifset texi2html
...
@end ifset

> >   - If you use Unicode characters in the text, inside @ifhtml, you need 
> > this:
> > 
> >      @c The @documentencoding is needed for makeinfo, but not for texi2html.
> >      @ifmakeinfo
> >      @documentencoding UTF-8
> >      @end ifnottex

texi2html shouldn't be worried by '@documentencoding UTF-8'? Is it?
It will be the default in the next release. 

In fact it is possible that currently '@documentencoding UTF-8' works 
better than no encoding for utf8 in node names (but I am not sure how 
UTF-8 in node names is supported in makeinfo currently).

--
Pat