Re: @setfilename: for info only?

[Karl Berry]

    Looking at (texinfo)HTML Splitting, it is said that first the directory
    name without extension is tried, that is foo/, and If that directory 
    cannot be created for any reason, foo.html/ will be used.

Right.  Thanks for the correction.

    > (I don't know what we're going do with chapter-split HTML)
    It goes in a subdir like split by node html.

I know, but what is its name?  And what about the splitting at other
levels that texi2html supports?

    > -> foo.dbk    (Docbook)
    It is also foo.xml (unless I missed something).

You're right again, but it makes no sense to me to output both xml and
docbook to the same extension.  Maybe we should change it.  Hmm.
    
    When there is no @setfilename, the texinfo input file basename is
    used by makeinfo for the output file basename. So, if it is possible
    to so this in TeX too, maybe then @setfilename could become
    optional?

It is theoretically possible, but far from easy.  For now @setfilename
must stay required for TeX.

k