On Wed, 26 Aug 2015, Artella Coding wrote:

I tried the msys instructions and encountered an error upon running
"make".

/bin/sh: line 9: makeinfo: command not found

You need to install the texinfo package, e.g. like this:

  pacman -S texinfo


        Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to