[ gcc-patches -> gcc ] On Tue, 28 Feb 2006, Mark Mitchell wrote: >> That said, I guess it's fine to ignore the ones with makeinfo 4.5, >> but based on my checks I'd be rather hesitant for us to require >> anything later than 4.6. > I don't think we should tie our own hands in this way. Building GCC > requires lots of tools; so be it. We could always have a check that > avoids building the documentation for old makeinfo.
That would cause all sorts of problems for users of the BSD Ports Collections, to just give an example. That said, I don't really disagree about enforcing proper prerequisites to build GCC and its documentation, my question in this case, and in general, just is: Can the issue which we encountered be worked around in a simple way in our .texi sources, or is it important enough to warrant ramping up our requirements? (I don't know which is the case here, I just feel we shouldn't ramp up our requirements too readily.) Gerald
