On Wed, 18 Jun 2025, Georg-Johann Lay wrote: > Should read "older than" instead of "older then". > > Ok with that typo fixed? >> PR other/115893 >> gcc/ >> * doc/install.texi (Prerequisites): Note that Texinfo older >> than v7.1 may throw incorrect build warnings, cf. >> https://lists.nongnu.org/archive/html/help-texinfo/2023-11/msg00004.html
Yes, thank you. (As a hint of a suggestion, I probably would have written "(Texinfo older than... ."), that is, put it into parentheses and omitted the "Also note that". If you like that, make that change; if not, keep it as is.) Gerald
