Re: ifinfo vs ifnottex

[Karl Berry]

    The question is, should DocBook output be treated as Info, HTML, and
    XML (in which case @ifinfo should be replaced by @ifnottex)

That seems best to me.  I don't see any good reason to do otherwise, and
trying to merge Docbook and TeX parts seems unnecessarily problematic.

Docbook is definitely used online as well as printed books.  Many free
documentation projects use it.

Of course, it's best to avoid these Texinfo conditionals entirely,
whenever possible.

karl