Re: ifinfo vs ifnottex

[Karl Berry]

    Yes.  Or, better, just "make HTML" to produce HTML versions of _all_
    the manuals.  And similarly for XML, DocBook, and PDF.

We added html/ps/pdf targets in standards.texi a while ago.  They'll be
supported in the next version of Automake.  It would be good to add
those to the Emacs Makefiles.

The consensus was not to add (Texinfo)XML and DocBook targets, since
they are far less widely used.  Among other reasons, which are vague in
my memory at this point.

If you feel like adding targets for them too, though, I see no harm in
it -- personally, it's not something I would see as a high priority.