--- C:/myDevel/packages/make-4.2.1-2.src/make-4.2.1/doc/make0.info-2	Sat May 06 22:04:10 2017
+++ C:/myDevel/packages/make-4.2.1-2.src/make-4.2.1/doc/make.info-2	Sat May 06 22:05:26 2017
@@ -1985,7 +1985,7 @@
      int plugin_is_GPL_compatible;
 
      char *
-     gen_tmpfile(const char *nm, int argc, char **argv)
+     gen_tmpfile(const char *nm, unsigned int argc, char **argv)
      {
        int fd;
 
@@ -2037,7 +2037,7 @@
 is 1):
 
      mk_temp.dll: mk_temp.c
-             $(CC) -shared -o $ $< -lgnumake-1
+             $(CC) -shared -o $@ $< -lgnumake-1
 
    Now when you run 'make' you'll see something like: