Yes, makeinfo returned exit status 1 and did not produce any output. Since I wrote it, I have figured out a patch, which I'm attaching in case you are interested.
Yes, makeinfo returned exit status 1 and did not produce any output. Since I wrote it, I have figured out a patch, which I'm attaching in case you are interested.