> On Jul 12, 2021, at 12:36 PM, David Malcolm via Gcc-patches
> <gcc-patc...@gcc.gnu.org> wrote:
>
> On Mon, 2021-07-12 at 15:25 +0200, Martin Liška wrote:
>> ...
>
> I think the output formats we need to support are:
> - HTML
> - PDF
> - man page (hardly "modern", but still used)
Also info format (for the Emacs info reader). And ebook formats (epub and/or
mobi). Having good quality ebook output is a major benefit in my view; it
would be very good for the standard makefiles to offer make targets for these
formats.
paul
