[PATCH] bfd: add version check to makeinfo

Eli Zaretskii eliz@gnu.org
Thu Apr 6 15:38:32 GMT 2023


> From: Enze Li <enze.li@hotmail.com>
> Cc: binutils@sourceware.org, gdb-patches@sourceware.org, enze.li@gmx.com, 
> 	jbeulich@suse.com, tom@tromey.com
> Date: Thu, 06 Apr 2023 23:00:38 +0800
> 
> On Tue, 2023-04-04 at 11:24 -0400, Eli Zaretskii wrote:
> > Some people still use makeinfo 4.x because it's at least an order of
> > magnitude faster than version 5 and later.  For such simple problems,
> > wouldn't it be better to add the missing sectioning commands, and let
> > those users of makeinfo 4.x keep using it?
> 
> Yeah, that's an easy way out.  I'll send another patch shortly.
> 
> BTW, I found the thread[1] where this was discussed a month ago and it
> seems that both approaches are possible.

I was just expressing my opinion.  I don't have the authority to make
the decision that this should be what Binutils does.


More information about the Binutils mailing list