#7137: fix makefile() documentation to match the new parameters.
1 file changed