https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88141
--- Comment #3 from Joshua Morrison <jmm4077 at rit dot edu> --- The same error occurs with the MSYS2 distribution of texinfo 5.2 (4.13 isn't available in their repository anymore).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88141
--- Comment #3 from Joshua Morrison <jmm4077 at rit dot edu> --- The same error occurs with the MSYS2 distribution of texinfo 5.2 (4.13 isn't available in their repository anymore).