Re: ifinfo vs ifnottex

[Eli Zaretskii]

> Date: Fri, 19 May 2006 12:43:16 -0500
> From: address@hidden (Karl Berry)
> Cc: address@hidden, address@hidden
> 
>     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.

Thanks.

Luc, I withdraw my reservations.  Please go ahead and commit your
changes.