https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69722
--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to sandra from comment #2) > I'm not seeing the warnings (different version of texinfo?), but I think I am using texinfo-6.0-1.fc23.x86_64. > Can you verify that the attached patch fixes the warnings? Yes, it works. Thanks.