Mark Diekhans wrote:
what does makeinfo --version say?
huff@> makeinfo --version texi2any (GNU texinfo) 6.5
Also, what distribution of vm are you using? (url would be good).
8.2.0b; 839,789 bytes; downloaded June 2014. (Is that what you wanted?) Respectfully, Robert Huff
