Re: gendocs.sh and texi2html

[Patrice Dumas]

On Fri, May 04, 2007 at 11:35:44AM +0200, Bruno Haible 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
>     situations, I used this:

Wat's wrong with having the Top node processed by texi2html? In general
it avoids warnings about nodes that don't appear in menus. 

>      @alias ifmakeinfo = ifnottex

You shouldn't rely on that behaviour, @alias being not implemented is a 
bug in texi2html. What you should use, instead is:

@ifset texi2html
...
@end ifset

>      @ifmakeinfo
>      @documentencoding UTF-8
>      @end ifnottex

As said later in the thread, '@documentencoding UTF-8' is right for 
texi2html.

--
Pat