Yes, the new makeinfo seems less tolerant of the problems. Please try using makeinfo --force to generate the info files and then use the standard make to complete the build.
Yes, the new makeinfo seems less tolerant of the problems. Please try using
makeinfo --force to generate the info files and then use the standard make
to complete the build.