Re: RFC: Sphinx for GCC documentation

[Koning, Paul via Gcc-patches]

> On Apr 2, 2021, at 11:40 AM, Martin Sebor via Gcc-patches 
> <gcc-patches@gcc.gnu.org> wrote:
> 
> ...
> I'm not excited about changing tools.  I like that Texinfo is a GNU
> project; AFACT, Sphinx is not. 

Why is that important?  It's an open source tool, and if it better in 
interesting ways I don't see why its affiliation should matter.

I view its support for ebook output as a major benefit, which as far as I know 
TexInfo does not offer.  

        paul