https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122638
--- Comment #12 from sandra at gcc dot gnu.org --- My main concern is lack of testing with such old makeinfo versions. I don't want to make it harder for contributors to submit routine patches that require documentation changes by requiring manual testing with the oldest supported makeinfo version, and if contributors aren't checking for backward compatibility at the time they submit patches, we're going to have the same issues with 5.0 compatibility that we currently have with 4.7. Like many people, I use the online GNU Texinfo manual as a reference when writing documentation for GCC. But there is only an online manual available for the most recent version, and it is not obvious whether any of the documented markup syntax is only available in newer releases, or in what release it might have been added. I'm also somewhat worried that any of these old versions of makeinfo may not be compatible with the regenerate-opt-urls.py and regenerate-attr-urls.py scripts. I believe newer versions of makeinfo produce "prettier" HTML than it used to, but do not know if the scripts have requirements beyond what is presently documented as the minimum required version. Maybe we need a documentation buildbot that checks both the oldest supposedly-supported version and the newest one?
