On Tue, 13 Jul 2021 at 07:24, Richard Biener wrote: > > On Mon, Jul 12, 2021 at 7:20 PM Jonathan Wakely via Gcc <gcc@gcc.gnu.org> > wrote: > > GCC devs and users who frequently modify or refer to the HTML docs > > want to replace texinfo. One vocal objector who just keeps repeating > > that texinfo is fine should not block that progress. > > You mean one very vocal and one active developers want to replace it?
Both Dave Malcolm and Martin have actually done the work to migrate to Sphinx, so that's already two before I even added my voice in favour. > I actually like texinfo (well, because I know it somewhat, compare to sphinx). > I think it produces quite decent PDF manuals. I never use the html > output (in fact I read our manual using grep & vim in the original > .texi form ...). > > But then I'm mostly of the who-does-the-work-decides attitude - so if there > are people driving a transition to sphinx because they want to improve sth > and they don't manage to do that with texinfo (for whatever reason) then OK. > As long as it doesn't regress my personal usecase (I hope the sphinx > docs are still > digestable in source form, which I understand they are). Sure, it's very much intended to be readable in the "raw" form, not just the generated output.
