Re: ifinfo vs ifnottex

[Luc Teirlinck]

Eli Zaretskii wrote:

   (Note that the Makefile's currently don't support anything beyond
   these two formats.)

I now believe that you meant allowing users to build the HTML manuals
using something like `make elisp.html' in analogy with `make elisp.dvi'.
Since running makeinfo directly is not that difficult, I do not
believe that the lack of support from the Makefiles is a major
impediment for generating other output formats.

Sincerely,

Luc.