Benefits of using Sphinx documentation format

[Koning, Paul]

> On Jul 12, 2021, at 12:36 PM, David Malcolm via Gcc-patches <gcc-patches@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