Revisions for <em>HOWTO Set up the info command in mingw + msys</em>