Re: gendocs.sh and texi2html

[Bruno Haible]

Bruce Korb wrote:
> Works fine, also, with texi2html:
> 
> http://www.gnu.org/software/autogen/manual/html_mono/autogen.html

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:

     @c The @ifmakeinfo ... @end ifnottex conditional evaluates to true in 
makeinfo
     @c for info and html output, but to false in texi2html.
     @alias ifmakeinfo = ifnottex

     ...

     @ifmakeinfo
     @node Top, Introduction, (dir), (dir)
     ...
     @end ifnottex

  - 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

   makeinfo then gives a warning that it doesn't know the UTF-8 encoding, but
   it's harmless, as far as I can see.

Bruno