I have makeinfo 4.8 already installed. Command line typing $ makeinfo --version returns makeinfo (GNU texinfo) 4.8.
I'd like to update the version to the latest 4.13. I've found relevant info here and here. I'm new to command line/bash/git... Please help me out, much appreciated!
Looking at this issue, you shouldn't need dragonfly (or git commands):
Note, as commented by jmq::