Robert Huff
2018-06-05 04:06:57 UTC
what does makeinfo --version say?
huff@> makeinfo --versiontexi2any (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