Re: ifinfo vs ifnottex

[Richard Stallman <rms@gnu.org>]

    Sorry, I thought that was clear.  Here's the missing info: In the
    Emacs manuals there are portions conditioned on @ifinfo, and we want
    to change that so that _all_ on-line formats pick up those portions.
    The question is, should DocBook output be treated as Info, HTML, and
    XML (in which case @ifinfo should be replaced by @ifnottex), or should
    DocBook be treated as printed output similar to TeX, in which case the
    conditions should be such that TeX and DocBook pick up the same text.

I think two separate issues are being confused here.

The problem that Luc discovered is that TeX output gets one version
of the text, Info output gets another version, and HTML gets NO version.
His change replaces @ifinfo with @ifnottex, so that HTML output gets
the same version as Info.

With his change, every output format gets one version of that text or
the other.  In particular, DocBook gets one version or the other -- instead
of NO version, as now.  That has to be an improvement.

How @iftex and @ifnottex should treat DocBook output format is a
separate question.  Whatever the answer to this question, Luc's change
is still an improvement.  We don't want the old conditionals, which
put NO version of this text into DocBook output.