On Mon, 12 Jul 2021 at 15:52, Jonathan Wakely <jwakely....@gmail.com> wrote: > > On Mon, 12 Jul 2021 at 15:13, Eli Zaretskii <e...@gnu.org> wrote: > > > > > From: Jonathan Wakely <jwakely....@gmail.com> > > > This is a problem with texinfo too. > > > > Not for someone who already knows Texinfo. We are talking about > > switching away of it, so I'm thinking about people who contributed > > patches for the manual in the past. They already know Texinfo, at > > least to some extent, and some of them know it very well. > > I've contributed dozens of patches to the manual, and I don't want to > have to use texinfo to do it in future.
And some of the people already know sphinx, and some know it very well. And it seems likely that future contributors are more likely to know a more modern tool than they are to know texinfo. You like texinfo. We get it.
