https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122638
--- Comment #14 from Gerald Pfeifer <gerald at pfeifer dot com> --- (In reply to Rainer Orth from comment #11) > Given that 5.0, is from 2013, too, it seems appropriate to me to require > that (provided you can actually build the current docs with that). According to my list from comment #1 6.0 is from 2013 (as is 5.2), and 5.0 is from 2010. In any case I'd be fine with that. (In reply to sandra from comment #12) > My main concern is lack of testing with such old makeinfo versions. Agreed. I'd simply require a newer minimal version, and 5.0 or 6.0 appear reasonably old. If someone wants to propose reasonable patches to support older versions - like Rainer has done in this PR- we would of course accept those; just not require them. (In reply to [email protected] from comment #13) > My primary point is that right now you're worse off if you have a > version of makeinfo too old to build current docs than without makeinfo > at all. When it's acceptable not to build info docs when makeinfo is > missing completely, it should just be as acceptable not to build them > whenever it's considered too old. I agree. Let's go for that. Would you like to propose a patch?
